あのまのまにょLv.82は導き出せない
fact1: 仮にあのまのまにょLv.82はしつっこくないならあのまのまにょLv.82は固着しないけどそれは進む fact2: 「あのまにゃまえLv.21は固着する」ということは確かだ fact3: 全てのモンスターは抗し難くてさらにそれは進むということはない fact4: もしもあのまにゃまえLv.21が抗し難い一方でそれが進まないとすればあのまのまにょLv.82は固着する fact5: あのまのまにょLv.82が固着しないがしかしそれが進むとすればそのぷゆぷわLv.43は進まない fact6: あのまのまにょLv.82が固着するとするとあのまのまにょLv.82は導き出せる fact7: あのまにゃまえLv.21は進むということはない fact8: 「掻き易くて生活し易い」ということは確かであるというモンスターはない
fact3 -> int1: あのまにゃまえLv.21は抗し難いがしかしそれは進まない; int1 & fact4 -> int2: 「あのまのまにょLv.82は固着する」ということは間違っていない; int2 & fact6 -> hypothesis;
fact3 -> int1: ({A}{aa} & ¬{B}{aa}); int1 & fact4 -> int2: {C}{a}; int2 & fact6 -> hypothesis;
そのぷゆぷわLv.43は導き出せる
fact10 -> int3: 「そのぽにゃぽちゅLv.25は掻き易くてそれは生活し易い」ということは嘘だ; int3 -> int4: 「「掻き易いしかつ生活し易い」ということは成り立たない」モンスターはいる;
$facts$ = fact1: 仮にあのまのまにょLv.82はしつっこくないならあのまのまにょLv.82は固着しないけどそれは進む fact2: 「あのまにゃまえLv.21は固着する」ということは確かだ fact3: 全てのモンスターは抗し難くてさらにそれは進むということはない fact4: もしもあのまにゃまえLv.21が抗し難い一方でそれが進まないとすればあのまのまにょLv.82は固着する fact5: あのまのまにょLv.82が固着しないがしかしそれが進むとすればそのぷゆぷわLv.43は進まない fact6: あのまのまにょLv.82が固着するとするとあのまのまにょLv.82は導き出せる fact7: あのまにゃまえLv.21は進むということはない fact8: 「掻き易くて生活し易い」ということは確かであるというモンスターはない ; $hypothesis$ = あのまのまにょLv.82は導き出せない ; $proof$ = 
fact3 -> int1: あのまにゃまえLv.21は抗し難いがしかしそれは進まない; int1 & fact4 -> int2: 「あのまのまにょLv.82は固着する」ということは間違っていない; int2 & fact6 -> hypothesis; __DISPROVED__
fact3 -> int1: ({A}{aa} & ¬{B}{aa}); int1 & fact4 -> int2: {C}{a}; int2 & fact6 -> hypothesis; __DISPROVED__