LaTeX 上的推理规则

Question

嗨！我是 LaTeX 新手，一直在尝试完成我在图片中展示的推理规则。有人能帮我做一下吗？不是演示，我想要文档中的推理规则代码，但我真的不知道怎么做。如果有人能帮助我，我将不胜感激。