このぴわぴやLv.10は惟るということはない
fact1: このぴわぴやLv.10が嘆かわしいならそれは惟る fact2: もし仮にそのぷゆぷちょLv.8がしつっこいということはないけれど惟るとするとこのぴわぴやLv.10は惟るない fact3: もしもそのぷゆぷちょLv.8がしつっこいならそのぴよぴにょLv.63はしつっこい fact4: 仮にそのぷゆぷちょLv.8が過不足無いとするとこのぴわぴやLv.10はおっきい fact5: このもわもちょLv.28は叩き起こさない fact6: 仮にこのぴわぴやLv.10が惟るということはないとするとそのぷゆぷちょLv.8はおっきいかあるいは過不足無いかもしくは両方ともである fact7: もし仮にそのぷゆぷちょLv.8がしつっこいとするとこのぴわぴやLv.10はおっきい fact8: もしも「このもわもちょLv.28は叩き起こさない」ということは本当だとするとそのぷゆぷちょLv.8は過不足無いかそれはしつっこい fact9: もし「このぴわぴやLv.10は嘆かわしくなくて叩き起こさない」ということは成り立たないならこのもわもちょLv.28は嘆かわしい fact10: 「もしもこのぴわぴやLv.10がおっきいならこのぴわぴやLv.10は嘆かわしい」ということは真実だ
fact5 & fact8 -> int1: そのぷゆぷちょLv.8は過不足無いかあるいはそれはしつっこいかあるいは両方ともだ; int1 & fact4 & fact7 -> int2: このぴわぴやLv.10はおっきい; int2 & fact10 -> int3: このぴわぴやLv.10は嘆かわしい; int3 & fact1 -> hypothesis;
fact5 & fact8 -> int1: ({A}{a} v {B}{a}); int1 & fact4 & fact7 -> int2: {C}{c}; int2 & fact10 -> int3: {D}{c}; int3 & fact1 -> hypothesis;
このぴわぴやLv.10は惟るということはない
$facts$ = fact1: このぴわぴやLv.10が嘆かわしいならそれは惟る fact2: もし仮にそのぷゆぷちょLv.8がしつっこいということはないけれど惟るとするとこのぴわぴやLv.10は惟るない fact3: もしもそのぷゆぷちょLv.8がしつっこいならそのぴよぴにょLv.63はしつっこい fact4: 仮にそのぷゆぷちょLv.8が過不足無いとするとこのぴわぴやLv.10はおっきい fact5: このもわもちょLv.28は叩き起こさない fact6: 仮にこのぴわぴやLv.10が惟るということはないとするとそのぷゆぷちょLv.8はおっきいかあるいは過不足無いかもしくは両方ともである fact7: もし仮にそのぷゆぷちょLv.8がしつっこいとするとこのぴわぴやLv.10はおっきい fact8: もしも「このもわもちょLv.28は叩き起こさない」ということは本当だとするとそのぷゆぷちょLv.8は過不足無いかそれはしつっこい fact9: もし「このぴわぴやLv.10は嘆かわしくなくて叩き起こさない」ということは成り立たないならこのもわもちょLv.28は嘆かわしい fact10: 「もしもこのぴわぴやLv.10がおっきいならこのぴわぴやLv.10は嘆かわしい」ということは真実だ ; $hypothesis$ = このぴわぴやLv.10は惟るということはない ; $proof$ = 
fact5 & fact8 -> int1: そのぷゆぷちょLv.8は過不足無いかあるいはそれはしつっこいかあるいは両方ともだ; int1 & fact4 & fact7 -> int2: このぴわぴやLv.10はおっきい; int2 & fact10 -> int3: このぴわぴやLv.10は嘆かわしい; int3 & fact1 -> hypothesis; __DISPROVED__
fact5 & fact8 -> int1: ({A}{a} v {B}{a}); int1 & fact4 & fact7 -> int2: {C}{c}; int2 & fact10 -> int3: {D}{c}; int3 & fact1 -> hypothesis; __DISPROVED__