あのぽちゃぽわLv.85は通じ難い
fact1: 仮にそのみわみくLv.56が微笑ましくないとするとそのみわみくLv.56は焦げ臭い fact2: もし仮にそのみわみくLv.56はあやかるかまたは書き添えるということはないかあるいはどちらもならそれは微笑ましいということはない fact3: なにがしかのモンスターは焦げ臭くないならば「それは微笑ましくないけど動かし難い」ということは成り立たない fact4: このぽえぽやLv.75は動かし難い fact5: もしも「「このぽえぽやLv.75は微笑ましいということはないが動かし難い」ということは事実だ」ということは成り立たないならあのぽちゃぽわLv.85は通じ難くない fact6: もしそのみわみくLv.56は書き添えないならば「そのみわみくLv.56は微笑ましくない」ということは偽でない fact7: もしもこのぽえぽやLv.75が動かし難いとするとそのみわみくLv.56はあやかるか書き添えないかもしくは両方ともだ fact8: あのぷいぷやLv.32は書き添える fact9: 仮にそのみわみくLv.56が焦げ臭いとするとあのぽちゃぽわLv.85は通じ難い
fact7 & fact4 -> int1: そのみわみくLv.56はあやかるかもしくはそれは書き添えないか両方である; int1 & fact2 -> int2: そのみわみくLv.56は微笑ましくない; int2 & fact1 -> int3: そのみわみくLv.56は焦げ臭い; int3 & fact9 -> hypothesis;
fact7 & fact4 -> int1: ({AA}{b} v ¬{AB}{b}); int1 & fact2 -> int2: ¬{B}{b}; int2 & fact1 -> int3: {C}{b}; int3 & fact9 -> hypothesis;
あのぽちゃぽわLv.85は通じ難くない
fact11 -> int4: 「もし仮にそのみわみくLv.56は焦げ臭くないとすると「「そのみわみくLv.56は微笑ましくない一方でそれは動かし難い」ということは事実だ」ということは正しくない」ということは真実である;
$facts$ = fact1: 仮にそのみわみくLv.56が微笑ましくないとするとそのみわみくLv.56は焦げ臭い fact2: もし仮にそのみわみくLv.56はあやかるかまたは書き添えるということはないかあるいはどちらもならそれは微笑ましいということはない fact3: なにがしかのモンスターは焦げ臭くないならば「それは微笑ましくないけど動かし難い」ということは成り立たない fact4: このぽえぽやLv.75は動かし難い fact5: もしも「「このぽえぽやLv.75は微笑ましいということはないが動かし難い」ということは事実だ」ということは成り立たないならあのぽちゃぽわLv.85は通じ難くない fact6: もしそのみわみくLv.56は書き添えないならば「そのみわみくLv.56は微笑ましくない」ということは偽でない fact7: もしもこのぽえぽやLv.75が動かし難いとするとそのみわみくLv.56はあやかるか書き添えないかもしくは両方ともだ fact8: あのぷいぷやLv.32は書き添える fact9: 仮にそのみわみくLv.56が焦げ臭いとするとあのぽちゃぽわLv.85は通じ難い ; $hypothesis$ = あのぽちゃぽわLv.85は通じ難い ; $proof$ = 
fact7 & fact4 -> int1: そのみわみくLv.56はあやかるかもしくはそれは書き添えないか両方である; int1 & fact2 -> int2: そのみわみくLv.56は微笑ましくない; int2 & fact1 -> int3: そのみわみくLv.56は焦げ臭い; int3 & fact9 -> hypothesis; __PROVED__
fact7 & fact4 -> int1: ({AA}{b} v ¬{AB}{b}); int1 & fact2 -> int2: ¬{B}{b}; int2 & fact1 -> int3: {C}{b}; int3 & fact9 -> hypothesis; __PROVED__