このぽやぽちゃLv.18は瑞々しいということはない
fact1: 「このもなもえLv.33は文書化出来ないかあるいは管掌するか両方だ」ということは成り立たない fact2: そのぷねぷゆLv.74は瑞々しくないとすれば「それはちっちゃくないしまた追い続ける」ということは偽である fact3: もしこのもにょもにゅLv.52は追い続けないなら「このぽやぽちゃLv.18は追い続けないかあるいは引っ越しするか両方ともである」ということは間違っている fact4: もしあるモンスターは没頭出来ないとしたら「それはちっちゃくなくてしかもそれは文書化出来る」ということは誤りである fact5: もし仮にあるモンスターは追い続けるとすると「それは引っ越ししないけど没頭出来る」ということは誤っている fact6: 「なんらかのモンスターは引っ越しするということはないがしかし没頭出来る」ということは誤りであるならばそれは没頭出来るということはない fact7: 仮に「このぽやぽちゃLv.18は追い続けるということはないかそれは引っ越しする」ということは間違いだとするとそれは瑞々しくない fact8: もし「そのぷねぷゆLv.74はちっちゃくないけれど文書化出来る」ということは成り立たないとすればこのもにょもにゅLv.52は追い続けない fact9: 「「このぽやぽちゃLv.18は没頭出来るし加えて瑞々しい」ということは正しい」ということは誤りだ fact10: そのぷねぷゆLv.74は没頭出来るということはない
fact4 -> int1: 仮にそのぷねぷゆLv.74は没頭出来ないとしたら「そのぷねぷゆLv.74はちっちゃくないけれどそれは文書化出来る」ということは正しくない; int1 & fact10 -> int2: 「そのぷねぷゆLv.74はちっちゃくないが文書化出来る」ということは誤りだ; int2 & fact8 -> int3: このもにょもにゅLv.52は追い続けない; int3 & fact3 -> int4: 「このぽやぽちゃLv.18は追い続けないかもしくはそれは引っ越しするかあるいは両方ともである」ということは成り立たない; int4 & fact7 -> hypothesis;
fact4 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); int1 & fact10 -> int2: ¬(¬{AA}{aa} & {AB}{aa}); int2 & fact8 -> int3: ¬{B}{a}; int3 & fact3 -> int4: ¬(¬{B}{b} v {C}{b}); int4 & fact7 -> hypothesis;
このぽやぽちゃLv.18は瑞々しい
fact12 -> int5: もしもこのもにょもにゅLv.52は追い続けるなら「引っ越ししないが没頭出来る」ということは成り立たない; fact11 -> int6: 仮に「このぽやぽちゃLv.18は引っ越ししないけれど没頭出来る」ということは間違いだとすればこのぽやぽちゃLv.18は没頭出来るということはない;
$facts$ = fact1: 「このもなもえLv.33は文書化出来ないかあるいは管掌するか両方だ」ということは成り立たない fact2: そのぷねぷゆLv.74は瑞々しくないとすれば「それはちっちゃくないしまた追い続ける」ということは偽である fact3: もしこのもにょもにゅLv.52は追い続けないなら「このぽやぽちゃLv.18は追い続けないかあるいは引っ越しするか両方ともである」ということは間違っている fact4: もしあるモンスターは没頭出来ないとしたら「それはちっちゃくなくてしかもそれは文書化出来る」ということは誤りである fact5: もし仮にあるモンスターは追い続けるとすると「それは引っ越ししないけど没頭出来る」ということは誤っている fact6: 「なんらかのモンスターは引っ越しするということはないがしかし没頭出来る」ということは誤りであるならばそれは没頭出来るということはない fact7: 仮に「このぽやぽちゃLv.18は追い続けるということはないかそれは引っ越しする」ということは間違いだとするとそれは瑞々しくない fact8: もし「そのぷねぷゆLv.74はちっちゃくないけれど文書化出来る」ということは成り立たないとすればこのもにょもにゅLv.52は追い続けない fact9: 「「このぽやぽちゃLv.18は没頭出来るし加えて瑞々しい」ということは正しい」ということは誤りだ fact10: そのぷねぷゆLv.74は没頭出来るということはない ; $hypothesis$ = このぽやぽちゃLv.18は瑞々しいということはない ; $proof$ = 
fact4 -> int1: 仮にそのぷねぷゆLv.74は没頭出来ないとしたら「そのぷねぷゆLv.74はちっちゃくないけれどそれは文書化出来る」ということは正しくない; int1 & fact10 -> int2: 「そのぷねぷゆLv.74はちっちゃくないが文書化出来る」ということは誤りだ; int2 & fact8 -> int3: このもにょもにゅLv.52は追い続けない; int3 & fact3 -> int4: 「このぽやぽちゃLv.18は追い続けないかもしくはそれは引っ越しするかあるいは両方ともである」ということは成り立たない; int4 & fact7 -> hypothesis; __PROVED__
fact4 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); int1 & fact10 -> int2: ¬(¬{AA}{aa} & {AB}{aa}); int2 & fact8 -> int3: ¬{B}{a}; int3 & fact3 -> int4: ¬(¬{B}{b} v {C}{b}); int4 & fact7 -> hypothesis; __PROVED__