あのもいもえLv.19は立たない
fact1: 仮にあのもいもえLv.19は攣るしかったるいならそれは耐え難くない fact2: 仮にあのもいもえLv.19が耐え難いということはないとするとあのもいもえLv.19は可愛くて加えて日本人らしい fact3: もしも日本人らしいモンスターは大差無くないなら「立つ」ということは誤っている fact4: 仮にあのぽなぽいLv.98が日本人らしいなら可愛い fact5: あのぽなぽいLv.98が日本人らしいしその上それは大差無い fact6: 仮になんらかのモンスターはマッピングするとすれば「「それは大差無くなくてしかもそれは共しない」ということは本当だ」ということは成り立つということはない fact7: もしあのぽなぽいLv.98が可愛いならばあのもいもえLv.19は立つ fact8: あのもいもえLv.19は攣るしかったるい
fact5 -> int1: あのぽなぽいLv.98は日本人らしい; int1 & fact4 -> int2: あのぽなぽいLv.98は可愛い; int2 & fact7 -> hypothesis;
fact5 -> int1: {A}{a}; int1 & fact4 -> int2: {C}{a}; int2 & fact7 -> hypothesis;
あのもいもえLv.19は立たない
fact13 -> int3: もしも「あのもいもえLv.19は日本人らしいけれど大差無くない」ということは真実なら立たない; fact10 & fact11 -> int4: 「あのもいもえLv.19は耐え難くない」ということは本当である; fact12 & int4 -> int5: あのもいもえLv.19は可愛いモンスターでありさらに日本人らしい; int5 -> int6: あのもいもえLv.19は日本人らしい; fact9 -> int7: もしもあのぽなぽいLv.98はマッピングするなら「大差無くなくておまけに共しない」ということは間違っている;
$facts$ = fact1: 仮にあのもいもえLv.19は攣るしかったるいならそれは耐え難くない fact2: 仮にあのもいもえLv.19が耐え難いということはないとするとあのもいもえLv.19は可愛くて加えて日本人らしい fact3: もしも日本人らしいモンスターは大差無くないなら「立つ」ということは誤っている fact4: 仮にあのぽなぽいLv.98が日本人らしいなら可愛い fact5: あのぽなぽいLv.98が日本人らしいしその上それは大差無い fact6: 仮になんらかのモンスターはマッピングするとすれば「「それは大差無くなくてしかもそれは共しない」ということは本当だ」ということは成り立つということはない fact7: もしあのぽなぽいLv.98が可愛いならばあのもいもえLv.19は立つ fact8: あのもいもえLv.19は攣るしかったるい ; $hypothesis$ = あのもいもえLv.19は立たない ; $proof$ = 
fact5 -> int1: あのぽなぽいLv.98は日本人らしい; int1 & fact4 -> int2: あのぽなぽいLv.98は可愛い; int2 & fact7 -> hypothesis; __DISPROVED__
fact5 -> int1: {A}{a}; int1 & fact4 -> int2: {C}{a}; int2 & fact7 -> hypothesis; __DISPROVED__