そのぽにゃぽちょLv.52は急き立てない
fact1: もしもあるモンスターが悪酔いするということはないとしたらそれは誤解され易くないし安し fact2: そのぽにゃぽちょLv.52は高しない fact3: もしもそのぽにゃぽちょLv.52は増え難くないがしかし結わくとすれば急き立てる fact4: とあるモンスターが高しということはないとすればそれは増え難くない fact5: とあるモンスターが高しないとすればそれは増え難いということはないけれど結わく
fact5 -> int1: 仮にそのぽにゃぽちょLv.52が高しないとすればそれは増え難くないし結わく; int1 & fact2 -> int2: そのぽにゃぽちょLv.52は増え難くないけど結わく; int2 & fact3 -> hypothesis;
fact5 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & {AB}{aa}); int1 & fact2 -> int2: (¬{AA}{aa} & {AB}{aa}); int2 & fact3 -> hypothesis;
$facts$ = fact1: もしもあるモンスターが悪酔いするということはないとしたらそれは誤解され易くないし安し fact2: そのぽにゃぽちょLv.52は高しない fact3: もしもそのぽにゃぽちょLv.52は増え難くないがしかし結わくとすれば急き立てる fact4: とあるモンスターが高しということはないとすればそれは増え難くない fact5: とあるモンスターが高しないとすればそれは増え難いということはないけれど結わく ; $hypothesis$ = そのぽにゃぽちょLv.52は急き立てない ; $proof$ = 
fact5 -> int1: 仮にそのぽにゃぽちょLv.52が高しないとすればそれは増え難くないし結わく; int1 & fact2 -> int2: そのぽにゃぽちょLv.52は増え難くないけど結わく; int2 & fact3 -> hypothesis; __DISPROVED__
fact5 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & {AB}{aa}); int1 & fact2 -> int2: (¬{AA}{aa} & {AB}{aa}); int2 & fact3 -> hypothesis; __DISPROVED__