「そのぽにゃぽにLv.84は熱いか汚れ難くない」ということは成り立たない
fact1: そのぽにゃぽにLv.84は仕方無し一方でそれは消し去らない fact2: 仮に仕方無しモンスターが消し去るということはないならば習うということはない fact3: もし仮にそのぽにゃぽにLv.84が習わないとすると熱いかあるいは汚れ難くないかもしくは両方である
fact2 -> int1: もしそのぽにゃぽにLv.84は仕方無しが消し去らないとしたら「それは習わない」ということは事実だ; int1 & fact1 -> int2: そのぽにゃぽにLv.84は習わない; int2 & fact3 -> hypothesis;
fact2 -> int1: ({AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 & fact1 -> int2: ¬{B}{aa}; int2 & fact3 -> hypothesis;
$facts$ = fact1: そのぽにゃぽにLv.84は仕方無し一方でそれは消し去らない fact2: 仮に仕方無しモンスターが消し去るということはないならば習うということはない fact3: もし仮にそのぽにゃぽにLv.84が習わないとすると熱いかあるいは汚れ難くないかもしくは両方である ; $hypothesis$ = 「そのぽにゃぽにLv.84は熱いか汚れ難くない」ということは成り立たない ; $proof$ = 
fact2 -> int1: もしそのぽにゃぽにLv.84は仕方無しが消し去らないとしたら「それは習わない」ということは事実だ; int1 & fact1 -> int2: そのぽにゃぽにLv.84は習わない; int2 & fact3 -> hypothesis; __DISPROVED__
fact2 -> int1: ({AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 & fact1 -> int2: ¬{B}{aa}; int2 & fact3 -> hypothesis; __DISPROVED__