このみにょみくLv.29は手折らない
fact1: そのぴゆぴちゃLv.26が遊泳するとすればこのみにょみくLv.29は手折る fact2: あらゆるモンスターはべた付き易いかまたは返信しないかまたはどちらもだ fact3: もしこのもにゃもゆLv.57は形するとすると「そのぴゆぴちゃLv.26は遊泳する」ということは成り立つ fact4: あらゆるモンスターはべた付き易くないかもしくはそれは返信しないかあるいは両方である fact5: このみにょみくLv.29は形する fact6: このもにゃもゆLv.57はべた付き易いかもしくは返信するということはないかまたは両方ともである fact7: 燃え易くないかあるいはどぎつかないモンスターは返信する fact8: もし仮にこのもにゃもゆLv.57はべた付き易くないかもしくは返信しないか両方だとしたら床しい fact9: もしもこのもにゃもゆLv.57が床しいとすると形する
fact4 -> int1: このもにゃもゆLv.57はべた付き易くないかもしくは返信しないかもしくは両方ともである; int1 & fact8 -> int2: このもにゃもゆLv.57は床しい; int2 & fact9 -> int3: このもにゃもゆLv.57は形する; int3 & fact3 -> int4: そのぴゆぴちゃLv.26は遊泳する; int4 & fact1 -> hypothesis;
fact4 -> int1: (¬{A}{aa} v ¬{B}{aa}); int1 & fact8 -> int2: {C}{aa}; int2 & fact9 -> int3: {D}{aa}; int3 & fact3 -> int4: {E}{a}; int4 & fact1 -> hypothesis;
仮にそのまやまにLv.92が燃え易いということはないかまたはそれがどぎついということはないかどちらもならそのまやまにLv.92は返信する
fact10 -> hypothesis;
$facts$ = fact1: そのぴゆぴちゃLv.26が遊泳するとすればこのみにょみくLv.29は手折る fact2: あらゆるモンスターはべた付き易いかまたは返信しないかまたはどちらもだ fact3: もしこのもにゃもゆLv.57は形するとすると「そのぴゆぴちゃLv.26は遊泳する」ということは成り立つ fact4: あらゆるモンスターはべた付き易くないかもしくはそれは返信しないかあるいは両方である fact5: このみにょみくLv.29は形する fact6: このもにゃもゆLv.57はべた付き易いかもしくは返信するということはないかまたは両方ともである fact7: 燃え易くないかあるいはどぎつかないモンスターは返信する fact8: もし仮にこのもにゃもゆLv.57はべた付き易くないかもしくは返信しないか両方だとしたら床しい fact9: もしもこのもにゃもゆLv.57が床しいとすると形する ; $hypothesis$ = このみにょみくLv.29は手折らない ; $proof$ = 
fact4 -> int1: このもにゃもゆLv.57はべた付き易くないかもしくは返信しないかもしくは両方ともである; int1 & fact8 -> int2: このもにゃもゆLv.57は床しい; int2 & fact9 -> int3: このもにゃもゆLv.57は形する; int3 & fact3 -> int4: そのぴゆぴちゃLv.26は遊泳する; int4 & fact1 -> hypothesis; __DISPROVED__
fact4 -> int1: (¬{A}{aa} v ¬{B}{aa}); int1 & fact8 -> int2: {C}{aa}; int2 & fact9 -> int3: {D}{aa}; int3 & fact3 -> int4: {E}{a}; int4 & fact1 -> hypothesis; __DISPROVED__