以下のように仮定する。あのぷにゅぷゆLv.57は茶色っぽくなくて想定し難いということはない
fact1: 「あのぷにゅぷゆLv.57は撃退しないしまたいがらっぽくない」ということは成り立たない fact2: あのぷにゅぷゆLv.57は用心深い fact3: もし茶色っぽくないモンスターは想定し難くないとすると用心深くない fact4: 激しくないモンスターでその上縮れないモンスターは御構い無いということはない fact5: 「このぽにゅぽやLv.64は用心深くないしかつ伸ばし易くない」ということは偽である fact6: もしもなんらかのモンスターが精米するということはなくてそれがばあかしいということはないとすると晴々しかない fact7: あのぷにゅぷゆLv.57は想定し難くない
fact3 -> int1: もしあのぷにゅぷゆLv.57が茶色っぽくないしかつそれが想定し難くないとすればあのぷにゅぷゆLv.57は用心深くない; void -> assump1: 以下のように仮定する。あのぷにゅぷゆLv.57は茶色っぽくなくて想定し難いということはない; int1 & assump1 -> int2: あのぷにゅぷゆLv.57は用心深くない; 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.57は撃退しないしまたいがらっぽくない」ということは成り立たない fact2: あのぷにゅぷゆLv.57は用心深い fact3: もし茶色っぽくないモンスターは想定し難くないとすると用心深くない fact4: 激しくないモンスターでその上縮れないモンスターは御構い無いということはない fact5: 「このぽにゅぽやLv.64は用心深くないしかつ伸ばし易くない」ということは偽である fact6: もしもなんらかのモンスターが精米するということはなくてそれがばあかしいということはないとすると晴々しかない fact7: あのぷにゅぷゆLv.57は想定し難くない ; $hypothesis$ = 以下のように仮定する。あのぷにゅぷゆLv.57は茶色っぽくなくて想定し難いということはない ; $proof$ = 
fact3 -> int1: もしあのぷにゅぷゆLv.57が茶色っぽくないしかつそれが想定し難くないとすればあのぷにゅぷゆLv.57は用心深くない; void -> assump1: 以下のように仮定する。あのぷにゅぷゆLv.57は茶色っぽくなくて想定し難いということはない; int1 & assump1 -> int2: あのぷにゅぷゆLv.57は用心深くない; 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__