【離散数学】簡単な自動論理推理問題を実験する

警察官が窃盗事件を審査しました既知の事実は以下の通りである:(1)AまたはBがxを盗んだ;(2)Aがxを盗んだ場合、犯行時間は真夜中前に発生できない;(3)Bの証言が正しい場合、真夜中に部屋の明かりが消えない;(4)Bの証言が正しくない場合、犯行時間は真夜中前に発生する;(5)真夜中に部屋の明かりが消えた.誰が泥棒なのかを解き、出力を印刷する.論理式関数(析出、合取)をカプセル化することを要求する.
以下に、2つのほぼ同じコード実装(Java)を示します.個人的には2つ目がもっと良いと感じます.

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