【离散数学】实验 一个简单的自动逻辑推理问题

一个公安人员审查一件盗窃案，已知的事实如下：
（1） A或B盗窃了x;
（2） 若A盗窃了x，则作案时间不能发生在午夜前；
（3） 若B证词正确，则在午夜时屋里灯光未灭；
（4） 若B证词不正确，则作案时间发生在午夜前；
（5） 午夜时屋里灯光灭了；
求解谁是盗贼，并打印输出。
要求封装逻辑表达式函数（析取、合取）。

下面给出了两种大致相同的代码实现（Java）：
个人感觉第二个更好一点点。

public class Reasoning {
   
     
    
    //int转boolean
    public static boolean changeType(int var