あのまやまにょLv.92は特色付けるしそれは判断し兼ねる
fact1: なにがしかのモンスターは惨たらしくないとすれば「それは特色付けるし判断し兼ねる」ということは成り立たない fact2: もし「あのぽにょぽのLv.82は儚くないがしかし酷い」ということは正しいとすればあのまくまちょLv.32は塞がる fact3: もしあのまくまちょLv.32が塞がるとするとあのまやまにょLv.92は特色付ける fact4: 「もし何らかのモンスターが承知致さないとしたらそれは塞がらなくてそれにそれは運転し易い」ということは本当だ fact5: あのまくまちょLv.32は酷い fact6: 「あのぽにょぽのLv.82は惨たらしくない」ということは成り立つ fact7: あのまやまにょLv.92は判断し兼ねる fact8: もしも何らかのモンスターが惨たらしくないとすれば儚くなくてそれは酷い fact9: 惨たらしいということはないモンスターは酷い
fact8 -> int1: もし仮にあのぽにょぽのLv.82が惨たらしくないとすると儚くないけど酷い; int1 & fact6 -> int2: あのぽにょぽのLv.82は儚くないがしかしそれは酷い; int2 & fact2 -> int3: あのまくまちょLv.32は塞がる; int3 & fact3 -> int4: あのまやまにょLv.92は特色付ける; int4 & fact7 -> hypothesis;
fact8 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & {AB}{aa}); int1 & fact6 -> int2: (¬{AA}{aa} & {AB}{aa}); int2 & fact2 -> int3: {B}{a}; int3 & fact3 -> int4: {C}{b}; int4 & fact7 -> hypothesis;
「あのまやまにょLv.92は特色付けるし判断し兼ねる」ということは成り立たない
fact10 -> int5: 「あのまくまちょLv.32は惨たらしくない」ということは間違いだということはないとすると「あのまくまちょLv.32は特色付けるしかつ判断し兼ねる」ということは間違いだ; fact11 -> int6: もしあのまくまちょLv.32が承知致さないとすると塞がらなくてまた運転し易い;
$facts$ = fact1: なにがしかのモンスターは惨たらしくないとすれば「それは特色付けるし判断し兼ねる」ということは成り立たない fact2: もし「あのぽにょぽのLv.82は儚くないがしかし酷い」ということは正しいとすればあのまくまちょLv.32は塞がる fact3: もしあのまくまちょLv.32が塞がるとするとあのまやまにょLv.92は特色付ける fact4: 「もし何らかのモンスターが承知致さないとしたらそれは塞がらなくてそれにそれは運転し易い」ということは本当だ fact5: あのまくまちょLv.32は酷い fact6: 「あのぽにょぽのLv.82は惨たらしくない」ということは成り立つ fact7: あのまやまにょLv.92は判断し兼ねる fact8: もしも何らかのモンスターが惨たらしくないとすれば儚くなくてそれは酷い fact9: 惨たらしいということはないモンスターは酷い ; $hypothesis$ = あのまやまにょLv.92は特色付けるしそれは判断し兼ねる ; $proof$ = 
fact8 -> int1: もし仮にあのぽにょぽのLv.82が惨たらしくないとすると儚くないけど酷い; int1 & fact6 -> int2: あのぽにょぽのLv.82は儚くないがしかしそれは酷い; int2 & fact2 -> int3: あのまくまちょLv.32は塞がる; int3 & fact3 -> int4: あのまやまにょLv.92は特色付ける; int4 & fact7 -> hypothesis; __PROVED__
fact8 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & {AB}{aa}); int1 & fact6 -> int2: (¬{AA}{aa} & {AB}{aa}); int2 & fact2 -> int3: {B}{a}; int3 & fact3 -> int4: {C}{b}; int4 & fact7 -> hypothesis; __PROVED__