あのもちょもよLv.80は歩き通す
fact1: 仮にこのぽにょぽえLv.41が見通せるとするとあのもちょもよLv.80は歩き通す fact2: もし仮に「そのぴちゅぴにゅLv.71は顕在化し易い」ということは間違いでないとすれば「「そのみえみにょLv.1は把握し辛いけどそれは酒臭くない」ということは成り立つ」ということは間違いである fact3: もし仮に「そのぴちゅぴにゅLv.71は注意深くないけれどそれは顕在化し易い」ということは事実でないならあのみのみちょLv.2は顕在化し易くない fact4: そのぴちゅぴにゅLv.71は顕在化し易い fact5: 顕在化し易くないモンスターは歩き辛くなくて加えて物らしくない fact6: もしあのまくまやLv.61が注意深くなくて更にそれが物らしくないならこのぽにょぽえLv.41は見通せる fact7: なんらかのモンスターは引き立たないならば「歩き通すかあるいは見通せるかまたは両方である」ということは成り立たない fact8: とあるモンスターは見通せないとしたら「それは注意深くないけれど顕在化し易い」ということは成り立たない fact9: 仮にあのまくまやLv.61が物らしくないとしたら注意深くないしさらに物らしくない fact10: 仮に「そのみえみにょLv.1は把握し辛いけれど酒臭くない」ということは偽であるとしたらあのまくまやLv.61は物らしくない fact11: そのみえみにょLv.1は関係深いがしかし引き立たない
fact2 & fact4 -> int1: 「そのみえみにょLv.1は把握し辛いが酒臭いということはない」ということは成り立たない; int1 & fact10 -> int2: あのまくまやLv.61は物らしいということはない; int2 & fact9 -> int3: あのまくまやLv.61は注意深くなくてさらにそれは物らしくない; int3 & fact6 -> int4: このぽにょぽえLv.41は見通せる; int4 & fact1 -> hypothesis;
fact2 & fact4 -> int1: ¬({AA}{b} & ¬{AB}{b}); int1 & fact10 -> int2: ¬{B}{c}; int2 & fact9 -> int3: (¬{C}{c} & ¬{B}{c}); int3 & fact6 -> int4: {D}{d}; int4 & fact1 -> hypothesis;
あのみのみちょLv.2は歩き辛くないし更に物らしくない
fact14 -> int5: 仮に「あのみのみちょLv.2は顕在化し易くない」ということは成り立つとするとあのみのみちょLv.2は歩き辛いということはないし加えて物らしいということはない; fact12 -> int6: そのぴちゅぴにゅLv.71は見通せないとしたら「注意深くないがしかし顕在化し易い」ということは嘘だ; fact16 -> int7: もしもそのみえみにょLv.1は引き立たないとすると「そのみえみにょLv.1は歩き通すか見通せるかもしくは両方だ」ということは成り立つということはない; fact13 -> int8: そのみえみにょLv.1は引き立たない; int7 & int8 -> int9: 「そのみえみにょLv.1は歩き通すかあるいはそれは見通せるかもしくは両方ともだ」ということは成り立たない; int9 -> int10: 「「歩き通すかまたは見通せる」ということは事実と異なる」モンスターはいる;
$facts$ = fact1: 仮にこのぽにょぽえLv.41が見通せるとするとあのもちょもよLv.80は歩き通す fact2: もし仮に「そのぴちゅぴにゅLv.71は顕在化し易い」ということは間違いでないとすれば「「そのみえみにょLv.1は把握し辛いけどそれは酒臭くない」ということは成り立つ」ということは間違いである fact3: もし仮に「そのぴちゅぴにゅLv.71は注意深くないけれどそれは顕在化し易い」ということは事実でないならあのみのみちょLv.2は顕在化し易くない fact4: そのぴちゅぴにゅLv.71は顕在化し易い fact5: 顕在化し易くないモンスターは歩き辛くなくて加えて物らしくない fact6: もしあのまくまやLv.61が注意深くなくて更にそれが物らしくないならこのぽにょぽえLv.41は見通せる fact7: なんらかのモンスターは引き立たないならば「歩き通すかあるいは見通せるかまたは両方である」ということは成り立たない fact8: とあるモンスターは見通せないとしたら「それは注意深くないけれど顕在化し易い」ということは成り立たない fact9: 仮にあのまくまやLv.61が物らしくないとしたら注意深くないしさらに物らしくない fact10: 仮に「そのみえみにょLv.1は把握し辛いけれど酒臭くない」ということは偽であるとしたらあのまくまやLv.61は物らしくない fact11: そのみえみにょLv.1は関係深いがしかし引き立たない ; $hypothesis$ = あのもちょもよLv.80は歩き通す ; $proof$ = 
fact2 & fact4 -> int1: 「そのみえみにょLv.1は把握し辛いが酒臭いということはない」ということは成り立たない; int1 & fact10 -> int2: あのまくまやLv.61は物らしいということはない; int2 & fact9 -> int3: あのまくまやLv.61は注意深くなくてさらにそれは物らしくない; int3 & fact6 -> int4: このぽにょぽえLv.41は見通せる; int4 & fact1 -> hypothesis; __PROVED__
fact2 & fact4 -> int1: ¬({AA}{b} & ¬{AB}{b}); int1 & fact10 -> int2: ¬{B}{c}; int2 & fact9 -> int3: (¬{C}{c} & ¬{B}{c}); int3 & fact6 -> int4: {D}{d}; int4 & fact1 -> hypothesis; __PROVED__