以下のように仮定する。そのぽちゃぽなLv.61は誤解され易くなくて加えて熱し易くない
fact1: 「あのまよまちゃLv.43は湿っぽいが生温くない」ということは成り立つということはない fact2: そのぽちゃぽなLv.61は惨めったらしい fact3: 誤解され易くないしまた熱し易くないモンスターは惨めったらしくない fact4: そのぽちゃぽなLv.61は誤解され易くない fact5: 仮に誤解され易いモンスターが熱し易くないとすれば惨めったらしいということはない
fact3 -> int1: 仮にそのぽちゃぽなLv.61は誤解され易くないししかも熱し易くないならば惨めったらしくない; void -> assump1: 以下のように仮定する。そのぽちゃぽなLv.61は誤解され易くなくて加えて熱し易くない; int1 & assump1 -> int2: そのぽちゃぽなLv.61は惨めったらしくない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
fact3 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; void -> assump1: (¬{AA}{aa} & ¬{AB}{aa}); int1 & assump1 -> int2: ¬{B}{aa}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis;
$facts$ = fact1: 「あのまよまちゃLv.43は湿っぽいが生温くない」ということは成り立つということはない fact2: そのぽちゃぽなLv.61は惨めったらしい fact3: 誤解され易くないしまた熱し易くないモンスターは惨めったらしくない fact4: そのぽちゃぽなLv.61は誤解され易くない fact5: 仮に誤解され易いモンスターが熱し易くないとすれば惨めったらしいということはない ; $hypothesis$ = 以下のように仮定する。そのぽちゃぽなLv.61は誤解され易くなくて加えて熱し易くない ; $proof$ = 
fact3 -> int1: 仮にそのぽちゃぽなLv.61は誤解され易くないししかも熱し易くないならば惨めったらしくない; void -> assump1: 以下のように仮定する。そのぽちゃぽなLv.61は誤解され易くなくて加えて熱し易くない; int1 & assump1 -> int2: そのぽちゃぽなLv.61は惨めったらしくない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
fact3 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; void -> assump1: (¬{AA}{aa} & ¬{AB}{aa}); int1 & assump1 -> int2: ¬{B}{aa}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__