如何使用 fbox 将多个项目封装在枚举环境中？

Question

我在逻辑课上学习自然演绎，我需要按照下面显示的样式编写证明。我尝试\fbox在enumerate环境中使用，但似乎只能框出一行。我也试过empheq，但似乎无法制作嵌套框。在 Latex 中是否有任何（简单的）方法可以实现这种样式？

谢谢你！