「そのぴえぴなLv.32は遠しないがそれは動き回る」ということは偽である
fact1: あのみくみえLv.19が動き回らないとしたらそのぴえぴなLv.32は遠しないがしかしそれは動き回る fact2: 仮に「このぴにゅぴにゅLv.65は反らなくてさらに理解し難くない」ということは成り立たないとすればこのぴにゅぴにゅLv.65は程近い fact3: もしこのぴにゅぴにゅLv.65が溜まり易くないならあのみくみえLv.19は動き回らない fact4: 仮にこのぴにゅぴにゅLv.65が程近いならこのぴにゅぴにゅLv.65は溜まり易くないかあるいは等しいということはないかもしくはどちらもだ fact5: 「このぴにゅぴにゅLv.65は反らなくて加えて理解し難いということはない」ということは成り立たない fact6: 理解し難くないモンスターは遠しない fact7: 仮に「なにがしかのモンスターは反るかもしくはそれは理解し難くない」ということは偽であるとすると程近くない fact8: もしもこのぴにゅぴにゅLv.65が等しくないとするとあのみくみえLv.19は動き回らない
fact5 & fact2 -> int1: このぴにゅぴにゅLv.65は程近い; fact4 & int1 -> int2: このぴにゅぴにゅLv.65は溜まり易くないかあるいはそれは等しいということはないか両方だ; int2 & fact3 & fact8 -> int3: あのみくみえLv.19は動き回らない; int3 & fact1 -> hypothesis;
fact5 & fact2 -> int1: {A}{a}; fact4 & int1 -> int2: (¬{AA}{a} v ¬{AB}{a}); int2 & fact3 & fact8 -> int3: ¬{B}{b}; int3 & fact1 -> hypothesis;
「そのぴえぴなLv.32は遠しないがそれは動き回る」ということは偽である
fact9 -> int4: もし仮に「そのぴえぴなLv.32は反るかあるいはそれは理解し難くないかあるいは両方ともだ」ということは成り立たないとしたらそれは程近くない;
$facts$ = fact1: あのみくみえLv.19が動き回らないとしたらそのぴえぴなLv.32は遠しないがしかしそれは動き回る fact2: 仮に「このぴにゅぴにゅLv.65は反らなくてさらに理解し難くない」ということは成り立たないとすればこのぴにゅぴにゅLv.65は程近い fact3: もしこのぴにゅぴにゅLv.65が溜まり易くないならあのみくみえLv.19は動き回らない fact4: 仮にこのぴにゅぴにゅLv.65が程近いならこのぴにゅぴにゅLv.65は溜まり易くないかあるいは等しいということはないかもしくはどちらもだ fact5: 「このぴにゅぴにゅLv.65は反らなくて加えて理解し難いということはない」ということは成り立たない fact6: 理解し難くないモンスターは遠しない fact7: 仮に「なにがしかのモンスターは反るかもしくはそれは理解し難くない」ということは偽であるとすると程近くない fact8: もしもこのぴにゅぴにゅLv.65が等しくないとするとあのみくみえLv.19は動き回らない ; $hypothesis$ = 「そのぴえぴなLv.32は遠しないがそれは動き回る」ということは偽である ; $proof$ = 
fact5 & fact2 -> int1: このぴにゅぴにゅLv.65は程近い; fact4 & int1 -> int2: このぴにゅぴにゅLv.65は溜まり易くないかあるいはそれは等しいということはないか両方だ; int2 & fact3 & fact8 -> int3: あのみくみえLv.19は動き回らない; int3 & fact1 -> hypothesis; __DISPROVED__
fact5 & fact2 -> int1: {A}{a}; fact4 & int1 -> int2: (¬{AA}{a} v ¬{AB}{a}); int2 & fact3 & fact8 -> int3: ¬{B}{b}; int3 & fact1 -> hypothesis; __DISPROVED__