あのぴのぴにゅLv.79は馳せるということはない
fact1: あのぽにょぽちゃLv.38が分析するならあのぽにょぽちゃLv.38は侵入し易い fact2: 仮にあのぽにょぽちゅLv.64が侵入し易いが分析しないならあのぽにょぽちゃLv.38は分析しない fact3: あのぽにょぽちゃLv.38は黒し fact4: あのぴのぴにゅLv.79は分析する fact5: もしなんらかのモンスターが分析しないとすると馳せないかもしくは黒しかまたは両方ともだ fact6: あのぽにょぽちゃLv.38は分析するししかもそれは黒し fact7: あのぽにょぽちゃLv.38が侵入し易いとすると可笑しい fact8: あのぴのぴにゅLv.79は黒し fact9: もしあのぽにょぽちゃLv.38が可笑しいとしたらあのぽにょぽちゃLv.38は則る fact10: もし仮にあのぽにょぽちゃLv.38が則るとするとあのぴのぴにゅLv.79は馳せる
fact6 -> int1: あのぽにょぽちゃLv.38は分析する; int1 & fact1 -> int2: あのぽにょぽちゃLv.38は侵入し易い; int2 & fact7 -> int3: あのぽにょぽちゃLv.38は可笑しい; int3 & fact9 -> int4: あのぽにょぽちゃLv.38は則る; int4 & fact10 -> hypothesis;
fact6 -> int1: {A}{a}; int1 & fact1 -> int2: {C}{a}; int2 & fact7 -> int3: {D}{a}; int3 & fact9 -> int4: {E}{a}; int4 & fact10 -> hypothesis;
あのぴのぴにゅLv.79は馳せるということはない
fact11 -> int5: もしあのぽにょぽちゃLv.38が分析しないなら馳せないかまたはそれは黒しかまたは両方である;
$facts$ = fact1: あのぽにょぽちゃLv.38が分析するならあのぽにょぽちゃLv.38は侵入し易い fact2: 仮にあのぽにょぽちゅLv.64が侵入し易いが分析しないならあのぽにょぽちゃLv.38は分析しない fact3: あのぽにょぽちゃLv.38は黒し fact4: あのぴのぴにゅLv.79は分析する fact5: もしなんらかのモンスターが分析しないとすると馳せないかもしくは黒しかまたは両方ともだ fact6: あのぽにょぽちゃLv.38は分析するししかもそれは黒し fact7: あのぽにょぽちゃLv.38が侵入し易いとすると可笑しい fact8: あのぴのぴにゅLv.79は黒し fact9: もしあのぽにょぽちゃLv.38が可笑しいとしたらあのぽにょぽちゃLv.38は則る fact10: もし仮にあのぽにょぽちゃLv.38が則るとするとあのぴのぴにゅLv.79は馳せる ; $hypothesis$ = あのぴのぴにゅLv.79は馳せるということはない ; $proof$ = 
fact6 -> int1: あのぽにょぽちゃLv.38は分析する; int1 & fact1 -> int2: あのぽにょぽちゃLv.38は侵入し易い; int2 & fact7 -> int3: あのぽにょぽちゃLv.38は可笑しい; int3 & fact9 -> int4: あのぽにょぽちゃLv.38は則る; int4 & fact10 -> hypothesis; __DISPROVED__
fact6 -> int1: {A}{a}; int1 & fact1 -> int2: {C}{a}; int2 & fact7 -> int3: {D}{a}; int3 & fact9 -> int4: {E}{a}; int4 & fact10 -> hypothesis; __DISPROVED__