「あのもちょもにょLv.35は暮らし易くて更に引き出し易い」ということは成り立たない
fact1: 「すべてのモンスターはコートしない」ということは正しい fact2: あのもちょもにょLv.35は引き出し易い fact3: もし仮にあのもちょもにょLv.35が素っ飛ばすとすればそれは暮らし易い fact4: あのもちょもにょLv.35は素っ飛ばす
fact3 & fact4 -> int1: あのもちょもにょLv.35は暮らし易い; int1 & fact2 -> hypothesis;
fact3 & fact4 -> int1: {B}{a}; int1 & fact2 -> hypothesis;
このもなもちゃLv.98は暮らし易い
fact5 -> int2: あのもちょもにょLv.35はコートしない;
$facts$ = fact1: 「すべてのモンスターはコートしない」ということは正しい fact2: あのもちょもにょLv.35は引き出し易い fact3: もし仮にあのもちょもにょLv.35が素っ飛ばすとすればそれは暮らし易い fact4: あのもちょもにょLv.35は素っ飛ばす ; $hypothesis$ = 「あのもちょもにょLv.35は暮らし易くて更に引き出し易い」ということは成り立たない ; $proof$ = 
fact3 & fact4 -> int1: あのもちょもにょLv.35は暮らし易い; int1 & fact2 -> hypothesis; __DISPROVED__
fact3 & fact4 -> int1: {B}{a}; int1 & fact2 -> hypothesis; __DISPROVED__