「そのぷちゃぷにょLv.52は映し出さないがそれは誘発し易い」ということは嘘だ
fact1: 「このみちゅみいLv.21は通り難くない一方で区別し易い」ということは成り立たないとしたらそのぷちゃぷにょLv.52は映し出すということはない fact2: それは通り難くないけれど区別し易いというモンスターはない fact3: そのぷちゃぷにょLv.52は誘発し易い fact4: もしこのみちゅみいLv.21が通り難いならばそのぷちゃぷにょLv.52は映し出さない fact5: 通り難いししかも区別し易いというモンスターはない
fact2 -> int1: 「このみちゅみいLv.21は通り難くないがしかし区別し易い」ということは誤りである; int1 & fact1 -> int2: そのぷちゃぷにょLv.52は映し出さない; int2 & fact3 -> hypothesis;
fact2 -> int1: ¬(¬{AA}{aa} & {AB}{aa}); int1 & fact1 -> int2: ¬{A}{a}; int2 & fact3 -> hypothesis;
$facts$ = fact1: 「このみちゅみいLv.21は通り難くない一方で区別し易い」ということは成り立たないとしたらそのぷちゃぷにょLv.52は映し出すということはない fact2: それは通り難くないけれど区別し易いというモンスターはない fact3: そのぷちゃぷにょLv.52は誘発し易い fact4: もしこのみちゅみいLv.21が通り難いならばそのぷちゃぷにょLv.52は映し出さない fact5: 通り難いししかも区別し易いというモンスターはない ; $hypothesis$ = 「そのぷちゃぷにょLv.52は映し出さないがそれは誘発し易い」ということは嘘だ ; $proof$ = 
fact2 -> int1: 「このみちゅみいLv.21は通り難くないがしかし区別し易い」ということは誤りである; int1 & fact1 -> int2: そのぷちゃぷにょLv.52は映し出さない; int2 & fact3 -> hypothesis; __DISPROVED__
fact2 -> int1: ¬(¬{AA}{aa} & {AB}{aa}); int1 & fact1 -> int2: ¬{A}{a}; int2 & fact3 -> hypothesis; __DISPROVED__