そのぽいぽにLv.44は限り無しない
fact1: 「仮にこのまにょまねLv.29がつべたいかあるいは囲わないとすればあのぴちょぴねLv.88はやくざっぽい」ということは事実である fact2: このまにょまねLv.29は限り無しないなら「このぷゆぷちょLv.82はやくざっぽくないしかつ囲わない」ということは誤りだ fact3: 「あるモンスターは程遠いということはないとすれば「それは限り無しし浮き易くない」ということは間違いである」ということは確かだ fact4: もし仮に「このぷゆぷちょLv.82は胡散臭い」ということは本当ならばこのまにょまねLv.29はつべたい fact5: もしも「つべたいということはない」モンスターがいるならこのぽなぽにゃLv.62は何気無いし胡散臭い fact6: 「何らかのモンスターはやくざっぽくないしまた囲わない」ということは誤っているならそれはつべたいということはない fact7: 「何らかのモンスターは限り無しけど浮き易くない」ということは偽であるとしたらそれは限り無しということはない fact8: あのぴちょぴねLv.88がやくざっぽいとするとそのぽいぽにLv.44は限り無し fact9: このぷゆぷちょLv.82は胡散臭いし何気無い
fact9 -> int1: このぷゆぷちょLv.82は胡散臭い; int1 & fact4 -> int2: 「このまにょまねLv.29はつべたい」ということは正しい; int2 -> int3: このまにょまねLv.29はつべたいかもしくは囲わないかどちらもだ; int3 & fact1 -> int4: あのぴちょぴねLv.88はやくざっぽい; int4 & fact8 -> hypothesis;
fact9 -> int1: {A}{a}; int1 & fact4 -> int2: {C}{b}; int2 -> int3: ({C}{b} v ¬{D}{b}); int3 & fact1 -> int4: {E}{c}; int4 & fact8 -> hypothesis;
このぽなぽにゃLv.62は何気無い
fact12 -> int5: もし仮に「このまにょまねLv.29は限り無しけど浮き易くない」ということは成り立つということはないならばこのまにょまねLv.29は限り無しない; fact13 -> int6: もしもあのぴちょぴねLv.88は程遠くないとしたら「限り無しが浮き易くない」ということは成り立つということはない; fact14 -> int7: もし仮に「このぷゆぷちょLv.82はやくざっぽくないしそれは囲わない」ということは本当でないとするとつべたくない;
$facts$ = fact1: 「仮にこのまにょまねLv.29がつべたいかあるいは囲わないとすればあのぴちょぴねLv.88はやくざっぽい」ということは事実である fact2: このまにょまねLv.29は限り無しないなら「このぷゆぷちょLv.82はやくざっぽくないしかつ囲わない」ということは誤りだ fact3: 「あるモンスターは程遠いということはないとすれば「それは限り無しし浮き易くない」ということは間違いである」ということは確かだ fact4: もし仮に「このぷゆぷちょLv.82は胡散臭い」ということは本当ならばこのまにょまねLv.29はつべたい fact5: もしも「つべたいということはない」モンスターがいるならこのぽなぽにゃLv.62は何気無いし胡散臭い fact6: 「何らかのモンスターはやくざっぽくないしまた囲わない」ということは誤っているならそれはつべたいということはない fact7: 「何らかのモンスターは限り無しけど浮き易くない」ということは偽であるとしたらそれは限り無しということはない fact8: あのぴちょぴねLv.88がやくざっぽいとするとそのぽいぽにLv.44は限り無し fact9: このぷゆぷちょLv.82は胡散臭いし何気無い ; $hypothesis$ = そのぽいぽにLv.44は限り無しない ; $proof$ = 
fact9 -> int1: このぷゆぷちょLv.82は胡散臭い; int1 & fact4 -> int2: 「このまにょまねLv.29はつべたい」ということは正しい; int2 -> int3: このまにょまねLv.29はつべたいかもしくは囲わないかどちらもだ; int3 & fact1 -> int4: あのぴちょぴねLv.88はやくざっぽい; int4 & fact8 -> hypothesis; __DISPROVED__
fact9 -> int1: {A}{a}; int1 & fact4 -> int2: {C}{b}; int2 -> int3: ({C}{b} v ¬{D}{b}); int3 & fact1 -> int4: {E}{c}; int4 & fact8 -> hypothesis; __DISPROVED__