このまやまにゃLv.65は関係深いということはない
fact1: あらゆるモンスターは出し忘れる fact2: 遠しないモンスターは関係深いし注意深い fact3: 遠しないモンスターは集録するし更に関係深い fact4: すべてのモンスターは関係深い fact5: もしこのまいまよLv.34が関係深いということはないとすればこのまやまにゃLv.65は関係深くない
fact4 -> int1: すべてのモンスターは関係深い; int1 -> hypothesis;
fact4 -> int1: (x): {A}x; int1 -> hypothesis;
すべてのモンスターは注意深い
fact6 -> int2: もし仮に「このまやまにゃLv.65は遠しない」ということは確かならばこのまやまにゃLv.65は関係深いしさらにそれは注意深い;
$facts$ = fact1: あらゆるモンスターは出し忘れる fact2: 遠しないモンスターは関係深いし注意深い fact3: 遠しないモンスターは集録するし更に関係深い fact4: すべてのモンスターは関係深い fact5: もしこのまいまよLv.34が関係深いということはないとすればこのまやまにゃLv.65は関係深くない ; $hypothesis$ = このまやまにゃLv.65は関係深いということはない ; $proof$ = 
fact4 -> int1: すべてのモンスターは関係深い; int1 -> hypothesis; __DISPROVED__
fact4 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__