あのぽいぽいLv.3は悔いないし加えてそれは作業し易くない
fact1: もし仮にとあるモンスターは停滞しないとしたら「悔いないし加えて作業し易くない」ということは事実と異なる fact2: あのぽいぽいLv.3は作業し易くない fact3: なんらかのモンスターが停滞するとしたらそれは悔いない fact4: そのまにゃまゆLv.35は悔いない fact5: あのみちゅみにゅLv.71は艶めかしいということはなくて順応し易くない fact6: 「あのぽいぽいLv.3は停滞する」ということは本当である fact7: 「あのぽいぽいLv.3は反映され易い」ということは成り立つ
fact3 -> int1: 仮にあのぽいぽいLv.3が停滞するならそれは悔いるということはない; int1 & fact6 -> int2: あのぽいぽいLv.3は悔いない; int2 & fact2 -> hypothesis;
fact3 -> int1: {A}{aa} -> ¬{C}{aa}; int1 & fact6 -> int2: ¬{C}{aa}; int2 & fact2 -> hypothesis;
「あのぽいぽいLv.3は悔いなくて加えてそれは作業し易いということはない」ということは成り立たない
fact8 -> int3: そのみえみえLv.24は停滞しないならば「そのみえみえLv.24は悔いなくて作業し易くない」ということは偽である;
$facts$ = fact1: もし仮にとあるモンスターは停滞しないとしたら「悔いないし加えて作業し易くない」ということは事実と異なる fact2: あのぽいぽいLv.3は作業し易くない fact3: なんらかのモンスターが停滞するとしたらそれは悔いない fact4: そのまにゃまゆLv.35は悔いない fact5: あのみちゅみにゅLv.71は艶めかしいということはなくて順応し易くない fact6: 「あのぽいぽいLv.3は停滞する」ということは本当である fact7: 「あのぽいぽいLv.3は反映され易い」ということは成り立つ ; $hypothesis$ = あのぽいぽいLv.3は悔いないし加えてそれは作業し易くない ; $proof$ = 
fact3 -> int1: 仮にあのぽいぽいLv.3が停滞するならそれは悔いるということはない; int1 & fact6 -> int2: あのぽいぽいLv.3は悔いない; int2 & fact2 -> hypothesis; __PROVED__
fact3 -> int1: {A}{aa} -> ¬{C}{aa}; int1 & fact6 -> int2: ¬{C}{aa}; int2 & fact2 -> hypothesis; __PROVED__