あのもちゃもにょLv.15は理解し易いかまたはそれは忘れ難いかもしくは両方ともである
fact1: そのぽねぽちょLv.5は聞き取り易いかまたは遊泳する fact2: もし仮に「そのぽねぽちょLv.5は遊泳する」ということは正しいならばそのぴちゃぴねLv.92は聞き取り易い fact3: そのぽねぽちょLv.5は移ろい易いかあるいは遊泳するかもしくは両方だ fact4: もしもあるモンスターが遊泳するしその上聞き取り易いとすれば移ろい易くない fact5: あのぴちゅぴくLv.19は移ろい易い fact6: もしあのもちゃもにょLv.15が見守り続けるならあのもちゃもにょLv.15は理解し易い fact7: もしあのもちゃもにょLv.15が抗し難いとしたら見守り続ける fact8: そのぽねぽちょLv.5が移ろい易いとしたらそのぴちゃぴねLv.92は聞き取り易い fact9: あのみにょみにゃLv.11が抗し難いとしたらあのみにょみにゃLv.11は図々しい fact10: 仮にそのぴちゃぴねLv.92が聞き取り易いならばあのもちゃもにょLv.15は抗し難い fact11: なんらかのモンスターは移ろい易いということはないとすれば「それは理解し易いかまたは忘れ難いかまたは両方だ」ということは成り立つということはない
fact3 & fact8 & fact2 -> int1: そのぴちゃぴねLv.92は聞き取り易い; int1 & fact10 -> int2: あのもちゃもにょLv.15は抗し難い; int2 & fact7 -> int3: あのもちゃもにょLv.15は見守り続ける; int3 & fact6 -> int4: あのもちゃもにょLv.15は理解し易い; int4 -> hypothesis;
fact3 & fact8 & fact2 -> int1: {C}{c}; int1 & fact10 -> int2: {D}{b}; int2 & fact7 -> int3: {E}{b}; int3 & fact6 -> int4: {F}{b}; int4 -> hypothesis;
「「あのもちゃもにょLv.15は理解し易いか忘れ難いかもしくは両方である」ということは成り立つ」ということは誤っている
fact13 -> int5: もしもあのもちゃもにょLv.15は移ろい易くないなら「それは理解し易いかまたは忘れ難い」ということは間違っている; fact12 -> int6: もしあのもちゃもにょLv.15が遊泳するししかも聞き取り易いならば移ろい易くない;
$facts$ = fact1: そのぽねぽちょLv.5は聞き取り易いかまたは遊泳する fact2: もし仮に「そのぽねぽちょLv.5は遊泳する」ということは正しいならばそのぴちゃぴねLv.92は聞き取り易い fact3: そのぽねぽちょLv.5は移ろい易いかあるいは遊泳するかもしくは両方だ fact4: もしもあるモンスターが遊泳するしその上聞き取り易いとすれば移ろい易くない fact5: あのぴちゅぴくLv.19は移ろい易い fact6: もしあのもちゃもにょLv.15が見守り続けるならあのもちゃもにょLv.15は理解し易い fact7: もしあのもちゃもにょLv.15が抗し難いとしたら見守り続ける fact8: そのぽねぽちょLv.5が移ろい易いとしたらそのぴちゃぴねLv.92は聞き取り易い fact9: あのみにょみにゃLv.11が抗し難いとしたらあのみにょみにゃLv.11は図々しい fact10: 仮にそのぴちゃぴねLv.92が聞き取り易いならばあのもちゃもにょLv.15は抗し難い fact11: なんらかのモンスターは移ろい易いということはないとすれば「それは理解し易いかまたは忘れ難いかまたは両方だ」ということは成り立つということはない ; $hypothesis$ = あのもちゃもにょLv.15は理解し易いかまたはそれは忘れ難いかもしくは両方ともである ; $proof$ = 
fact3 & fact8 & fact2 -> int1: そのぴちゃぴねLv.92は聞き取り易い; int1 & fact10 -> int2: あのもちゃもにょLv.15は抗し難い; int2 & fact7 -> int3: あのもちゃもにょLv.15は見守り続ける; int3 & fact6 -> int4: あのもちゃもにょLv.15は理解し易い; int4 -> hypothesis; __PROVED__
fact3 & fact8 & fact2 -> int1: {C}{c}; int1 & fact10 -> int2: {D}{b}; int2 & fact7 -> int3: {E}{b}; int3 & fact6 -> int4: {F}{b}; int4 -> hypothesis; __PROVED__