「あのまやまえLv.39は根気良くない」ということは間違いでない
fact1: もしもあのみのみのLv.49が聞き齧るならそのぴわぴくLv.0は御めでたい fact2: 全てのモンスターは洗顔するかもしくはそれは聞き齧る fact3: もし仮にそのぴわぴくLv.0が焼き難いならばあのまやまえLv.39は打ち易い fact4: もし仮にあのみのみのLv.49が洗顔すればそのぴわぴくLv.0は御めでたい fact5: もしあのまやまえLv.39は打ち易いとしたら「あのまやまえLv.39は根気良い」ということは本当である
fact2 -> int1: あのみのみのLv.49は洗顔するかもしくは聞き齧るか両方ともである; int1 & fact4 & fact1 -> int2: そのぴわぴくLv.0は御めでたい;
fact2 -> int1: ({A}{aa} v {B}{aa}); int1 & fact4 & fact1 -> int2: {C}{a};
$facts$ = fact1: もしもあのみのみのLv.49が聞き齧るならそのぴわぴくLv.0は御めでたい fact2: 全てのモンスターは洗顔するかもしくはそれは聞き齧る fact3: もし仮にそのぴわぴくLv.0が焼き難いならばあのまやまえLv.39は打ち易い fact4: もし仮にあのみのみのLv.49が洗顔すればそのぴわぴくLv.0は御めでたい fact5: もしあのまやまえLv.39は打ち易いとしたら「あのまやまえLv.39は根気良い」ということは本当である ; $hypothesis$ = 「あのまやまえLv.39は根気良くない」ということは間違いでない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__