そのぴよぴちゃLv.81は抉り出さない
fact1: 「仮にあるモンスターが通ぜないとすると物々しい」ということは成り立つ fact2: もしあるモンスターが幼しとすればそれは抉り出さなくて作り易くない fact3: もしも「このまいまよLv.35は通ぜない」ということは正しいとするとそのぴよぴちゃLv.81は物々しくて断り難い fact4: 仮にこのぴよぴにLv.99が物々しいならばそれは断り難い fact5: このぴよぴにLv.99は通ずるということはない fact6: このまいまよLv.35は幼し fact7: もしこのぴよぴにLv.99が断り難いならそのぴよぴちゃLv.81は受け難い fact8: 仮にそのぴよぴちゃLv.81が受け難いとするとそれは抉り出す
fact1 -> int1: もしもこのぴよぴにLv.99が通ぜないとすればこのぴよぴにLv.99は物々しい; int1 & fact5 -> int2: このぴよぴにLv.99は物々しい; int2 & fact4 -> int3: このぴよぴにLv.99は断り難い; int3 & fact7 -> int4: そのぴよぴちゃLv.81は受け難い; int4 & fact8 -> hypothesis;
fact1 -> int1: ¬{B}{aa} -> {C}{aa}; int1 & fact5 -> int2: {C}{aa}; int2 & fact4 -> int3: {A}{aa}; int3 & fact7 -> int4: {D}{a}; int4 & fact8 -> hypothesis;
そのぴよぴちゃLv.81は物々しい
fact11 -> int5: 仮にこのまいまよLv.35が幼しとすればそれは抉り出さなくてそれに作り易くない; int5 & fact9 -> int6: このまいまよLv.35は抉り出さなくてしかも作り易いということはない; int6 -> int7: 「このまいまよLv.35は抉り出さない」ということは真実である;
$facts$ = fact1: 「仮にあるモンスターが通ぜないとすると物々しい」ということは成り立つ fact2: もしあるモンスターが幼しとすればそれは抉り出さなくて作り易くない fact3: もしも「このまいまよLv.35は通ぜない」ということは正しいとするとそのぴよぴちゃLv.81は物々しくて断り難い fact4: 仮にこのぴよぴにLv.99が物々しいならばそれは断り難い fact5: このぴよぴにLv.99は通ずるということはない fact6: このまいまよLv.35は幼し fact7: もしこのぴよぴにLv.99が断り難いならそのぴよぴちゃLv.81は受け難い fact8: 仮にそのぴよぴちゃLv.81が受け難いとするとそれは抉り出す ; $hypothesis$ = そのぴよぴちゃLv.81は抉り出さない ; $proof$ = 
fact1 -> int1: もしもこのぴよぴにLv.99が通ぜないとすればこのぴよぴにLv.99は物々しい; int1 & fact5 -> int2: このぴよぴにLv.99は物々しい; int2 & fact4 -> int3: このぴよぴにLv.99は断り難い; int3 & fact7 -> int4: そのぴよぴちゃLv.81は受け難い; int4 & fact8 -> hypothesis; __DISPROVED__
fact1 -> int1: ¬{B}{aa} -> {C}{aa}; int1 & fact5 -> int2: {C}{aa}; int2 & fact4 -> int3: {A}{aa}; int3 & fact7 -> int4: {D}{a}; int4 & fact8 -> hypothesis; __DISPROVED__