そのもえもくLv.25は見得る
fact1: 仮に「あのもちゃもよLv.96は非難がましいということはないが切り易い」ということは本当でないならば「そのもえもくLv.25は見得ない」ということは事実である fact2: 仮にあのまにゅまくLv.50は怯え切らないとしたら「あのもちゃもよLv.96は非難がましいということはないけど切り易い」ということは成り立たない fact3: もしあのまにゅまくLv.50は非難がましかないならば「あのもちゃもよLv.96は怯え切らないけど顕在化し易い」ということは偽だ fact4: もし仮になにがしかのモンスターが怯え切らないならば見得るしそれは非難がましい fact5: 「あるモンスターは切り易いかあるいは苦いかもしくは両方だ」ということは成り立つということはないならそれは怯え切らない fact6: もしもあのまにゅまくLv.50は苦いとすると「顕在化し易くないが徒らっぽい」ということは事実と異なる fact7: 「「あのまにゅまくLv.50は顕在化し易くない一方でそれは徒らっぽい」ということは嘘であるならあのまにゅまくLv.50は怯え切るということはない」ということは誤りでない fact8: もしもあのまにゅまくLv.50は怯え切らないとしたら「あのもちゃもよLv.96は非難がましいしそれは切り易い」ということは誤りである fact9: 「あのまにゅまくLv.50は苦い」ということは成り立つ fact10: そのもえもくLv.25は切り易い
fact6 & fact9 -> int1: 「あのまにゅまくLv.50は顕在化し易くないが徒らっぽい」ということは誤りである; fact7 & int1 -> int2: あのまにゅまくLv.50は怯え切るということはない; int2 & fact2 -> int3: 「あのもちゃもよLv.96は非難がましかないが切り易い」ということは間違っている; int3 & fact1 -> hypothesis;
fact6 & fact9 -> int1: ¬(¬{AA}{a} & {AB}{a}); fact7 & int1 -> int2: ¬{B}{a}; int2 & fact2 -> int3: ¬(¬{A}{b} & {C}{b}); int3 & fact1 -> hypothesis;
そのもえもくLv.25は見得る
fact11 -> int4: もし仮にそのもえもくLv.25が怯え切らないとしたらそのもえもくLv.25は見得るし非難がましい; fact12 -> int5: もしも「そのもえもくLv.25は切り易いかまたは苦い」ということは間違っていればそのもえもくLv.25は怯え切らない;
$facts$ = fact1: 仮に「あのもちゃもよLv.96は非難がましいということはないが切り易い」ということは本当でないならば「そのもえもくLv.25は見得ない」ということは事実である fact2: 仮にあのまにゅまくLv.50は怯え切らないとしたら「あのもちゃもよLv.96は非難がましいということはないけど切り易い」ということは成り立たない fact3: もしあのまにゅまくLv.50は非難がましかないならば「あのもちゃもよLv.96は怯え切らないけど顕在化し易い」ということは偽だ fact4: もし仮になにがしかのモンスターが怯え切らないならば見得るしそれは非難がましい fact5: 「あるモンスターは切り易いかあるいは苦いかもしくは両方だ」ということは成り立つということはないならそれは怯え切らない fact6: もしもあのまにゅまくLv.50は苦いとすると「顕在化し易くないが徒らっぽい」ということは事実と異なる fact7: 「「あのまにゅまくLv.50は顕在化し易くない一方でそれは徒らっぽい」ということは嘘であるならあのまにゅまくLv.50は怯え切るということはない」ということは誤りでない fact8: もしもあのまにゅまくLv.50は怯え切らないとしたら「あのもちゃもよLv.96は非難がましいしそれは切り易い」ということは誤りである fact9: 「あのまにゅまくLv.50は苦い」ということは成り立つ fact10: そのもえもくLv.25は切り易い ; $hypothesis$ = そのもえもくLv.25は見得る ; $proof$ = 
fact6 & fact9 -> int1: 「あのまにゅまくLv.50は顕在化し易くないが徒らっぽい」ということは誤りである; fact7 & int1 -> int2: あのまにゅまくLv.50は怯え切るということはない; int2 & fact2 -> int3: 「あのもちゃもよLv.96は非難がましかないが切り易い」ということは間違っている; int3 & fact1 -> hypothesis; __DISPROVED__
fact6 & fact9 -> int1: ¬(¬{AA}{a} & {AB}{a}); fact7 & int1 -> int2: ¬{B}{a}; int2 & fact2 -> int3: ¬(¬{A}{b} & {C}{b}); int3 & fact1 -> hypothesis; __DISPROVED__