「あのぽにゃぽちょLv.68は訓示するし断定出来る」ということは間違いである
fact1: 仮に「このぴちゅぴゆLv.64は湿っぽくない」ということは正しいならあのぽにゃぽちょLv.68は細長くない fact2: 仮にこのぴちゅぴゆLv.64が罹り易いとするとそれは湿っぽくない fact3: もし仮にこのもくもねLv.17が細長いならばこのぴちゅぴゆLv.64は湿っぽい fact4: このぴちゅぴゆLv.64は罹り易い fact5: もしあのぽにゃぽちょLv.68は憎たらしくなくてそれに細長くないならばそれは訓示する fact6: もしもこのぴちゅぴゆLv.64が湿っぽいとしたらあのぽにゃぽちょLv.68は罹り易くない fact7: あのぽにゃぽちょLv.68は断定出来る fact8: 慎み深くないモンスターは老齢化しなくておまけに形容し難いということはない fact9: 仮にこのぴちゅぴゆLv.64が湿っぽくないとするとあのぽにゃぽちょLv.68は憎たらしくないしかつ細長くない fact10: 全てのモンスターは慎み深くない
fact2 & fact4 -> int1: このぴちゅぴゆLv.64は湿っぽくない; int1 & fact9 -> int2: 「あのぽにゃぽちょLv.68は憎たらしくないし加えて細長いということはない」ということは本当である; int2 & fact5 -> int3: あのぽにゃぽちょLv.68は訓示する; int3 & fact7 -> hypothesis;
fact2 & fact4 -> int1: ¬{B}{a}; int1 & fact9 -> int2: (¬{D}{b} & ¬{C}{b}); int2 & fact5 -> int3: {E}{b}; int3 & fact7 -> hypothesis;
「あのぽにゃぽちょLv.68は訓示するし断定出来る」ということは間違いである
fact12 -> int4: このみゆみねLv.25が慎み深いということはないならこのみゆみねLv.25が老齢化するということはないしその上形容し難くない; fact14 -> int5: 「このみゆみねLv.25は慎み深くない」ということは本当だ; int4 & int5 -> int6: このみゆみねLv.25は老齢化するということはないしそれは形容し難いということはない; int6 -> int7: 「すべてのモンスターは老齢化しないし形容し難くない」ということは確かである; int7 -> int8: あのぴにゅぴにゃLv.35は老齢化しなくておまけに形容し難くない; int8 -> int9: あのぴにゅぴにゃLv.35は老齢化しない; int9 -> int10: 全てのモンスターは老齢化しない; int10 -> int11: このもくもねLv.17は老齢化しない;
$facts$ = fact1: 仮に「このぴちゅぴゆLv.64は湿っぽくない」ということは正しいならあのぽにゃぽちょLv.68は細長くない fact2: 仮にこのぴちゅぴゆLv.64が罹り易いとするとそれは湿っぽくない fact3: もし仮にこのもくもねLv.17が細長いならばこのぴちゅぴゆLv.64は湿っぽい fact4: このぴちゅぴゆLv.64は罹り易い fact5: もしあのぽにゃぽちょLv.68は憎たらしくなくてそれに細長くないならばそれは訓示する fact6: もしもこのぴちゅぴゆLv.64が湿っぽいとしたらあのぽにゃぽちょLv.68は罹り易くない fact7: あのぽにゃぽちょLv.68は断定出来る fact8: 慎み深くないモンスターは老齢化しなくておまけに形容し難いということはない fact9: 仮にこのぴちゅぴゆLv.64が湿っぽくないとするとあのぽにゃぽちょLv.68は憎たらしくないしかつ細長くない fact10: 全てのモンスターは慎み深くない ; $hypothesis$ = 「あのぽにゃぽちょLv.68は訓示するし断定出来る」ということは間違いである ; $proof$ = 
fact2 & fact4 -> int1: このぴちゅぴゆLv.64は湿っぽくない; int1 & fact9 -> int2: 「あのぽにゃぽちょLv.68は憎たらしくないし加えて細長いということはない」ということは本当である; int2 & fact5 -> int3: あのぽにゃぽちょLv.68は訓示する; int3 & fact7 -> hypothesis; __DISPROVED__
fact2 & fact4 -> int1: ¬{B}{a}; int1 & fact9 -> int2: (¬{D}{b} & ¬{C}{b}); int2 & fact5 -> int3: {E}{b}; int3 & fact7 -> hypothesis; __DISPROVED__