「あのみのみなLv.57はめでたししまたそれは発信する」ということは成り立たない
fact1: そのぷにゅぷにゃLv.47は掃除し易くない一方でけたたましい fact2: 「あのみのみなLv.57は発信する」ということは成り立つ fact3: もし掃除し易くないモンスターがけたたましいとしたらそれは起き難くない fact4: もしもそのぷにゅぷにゃLv.47が起き難くないとしたらあのみのみなLv.57は程遠いしめでたし
fact3 -> int1: もしそのぷにゅぷにゃLv.47が掃除し易くないけれどそれがけたたましいとしたらそのぷにゅぷにゃLv.47は起き難いということはない; int1 & fact1 -> int2: そのぷにゅぷにゃLv.47は起き難くない; int2 & fact4 -> int3: あのみのみなLv.57は程遠くて加えてめでたし; int3 -> int4: あのみのみなLv.57はめでたし; int4 & fact2 -> hypothesis;
fact3 -> int1: (¬{AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 & fact1 -> int2: ¬{B}{aa}; int2 & fact4 -> int3: ({C}{a} & {A}{a}); int3 -> int4: {A}{a}; int4 & fact2 -> hypothesis;
$facts$ = fact1: そのぷにゅぷにゃLv.47は掃除し易くない一方でけたたましい fact2: 「あのみのみなLv.57は発信する」ということは成り立つ fact3: もし掃除し易くないモンスターがけたたましいとしたらそれは起き難くない fact4: もしもそのぷにゅぷにゃLv.47が起き難くないとしたらあのみのみなLv.57は程遠いしめでたし ; $hypothesis$ = 「あのみのみなLv.57はめでたししまたそれは発信する」ということは成り立たない ; $proof$ = 
fact3 -> int1: もしそのぷにゅぷにゃLv.47が掃除し易くないけれどそれがけたたましいとしたらそのぷにゅぷにゃLv.47は起き難いということはない; int1 & fact1 -> int2: そのぷにゅぷにゃLv.47は起き難くない; int2 & fact4 -> int3: あのみのみなLv.57は程遠くて加えてめでたし; int3 -> int4: あのみのみなLv.57はめでたし; int4 & fact2 -> hypothesis; __DISPROVED__
fact3 -> int1: (¬{AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 & fact1 -> int2: ¬{B}{aa}; int2 & fact4 -> int3: ({C}{a} & {A}{a}); int3 -> int4: {A}{a}; int4 & fact2 -> hypothesis; __DISPROVED__