このぷちょぷよLv.9は生き難い
fact1: もしもこのぷちょぷよLv.9が極意山高するならそれは生き難い fact2: 仮にそのもにもいLv.71が愛らしいならばこのぷちょぷよLv.9は極意山高する fact3: 「もしあのまよまにゅLv.41が緩み易いならあのもわもいLv.89は痛み易い」ということは正しい fact4: あのまよまにゅLv.41はねちっこいか緩み易いかもしくは両方ともである fact5: あのまよまにゅLv.41がねちっこいとしたらあのもわもいLv.89は痛み易い fact6: もしあのもわもいLv.89は痛み易いなら「このぴゆぴくLv.66は後らしい」ということは真実である fact7: もしもあのまよまにゅLv.41が緩み易くなくてねちっこいということはないとすればこのぷちょぷよLv.9は生き難いということはない fact8: もしこのぴゆぴくLv.66が後らしいとしたらそのもにもいLv.71は愛らしい
fact4 & fact5 & fact3 -> int1: あのもわもいLv.89は痛み易い; int1 & fact6 -> int2: このぴゆぴくLv.66は後らしい; int2 & fact8 -> int3: そのもにもいLv.71は愛らしい; int3 & fact2 -> int4: このぷちょぷよLv.9は極意山高する; int4 & fact1 -> hypothesis;
fact4 & fact5 & fact3 -> int1: {C}{c}; int1 & fact6 -> int2: {D}{b}; int2 & fact8 -> int3: {E}{d}; int3 & fact2 -> int4: {F}{e}; int4 & fact1 -> hypothesis;
このぷちょぷよLv.9は生き難くない
$facts$ = fact1: もしもこのぷちょぷよLv.9が極意山高するならそれは生き難い fact2: 仮にそのもにもいLv.71が愛らしいならばこのぷちょぷよLv.9は極意山高する fact3: 「もしあのまよまにゅLv.41が緩み易いならあのもわもいLv.89は痛み易い」ということは正しい fact4: あのまよまにゅLv.41はねちっこいか緩み易いかもしくは両方ともである fact5: あのまよまにゅLv.41がねちっこいとしたらあのもわもいLv.89は痛み易い fact6: もしあのもわもいLv.89は痛み易いなら「このぴゆぴくLv.66は後らしい」ということは真実である fact7: もしもあのまよまにゅLv.41が緩み易くなくてねちっこいということはないとすればこのぷちょぷよLv.9は生き難いということはない fact8: もしこのぴゆぴくLv.66が後らしいとしたらそのもにもいLv.71は愛らしい ; $hypothesis$ = このぷちょぷよLv.9は生き難い ; $proof$ = 
fact4 & fact5 & fact3 -> int1: あのもわもいLv.89は痛み易い; int1 & fact6 -> int2: このぴゆぴくLv.66は後らしい; int2 & fact8 -> int3: そのもにもいLv.71は愛らしい; int3 & fact2 -> int4: このぷちょぷよLv.9は極意山高する; int4 & fact1 -> hypothesis; __PROVED__
fact4 & fact5 & fact3 -> int1: {C}{c}; int1 & fact6 -> int2: {D}{b}; int2 & fact8 -> int3: {E}{d}; int3 & fact2 -> int4: {F}{e}; int4 & fact1 -> hypothesis; __PROVED__