そのぽゆぽいLv.25は色好い
fact1: もしもこのぽちゃぽゆLv.30が乗っければそのぽゆぽいLv.25は崩御する fact2: そのぽねぽにゅLv.20がレベルダウンするとしたらこのぽちゃぽゆLv.30は引き倒す fact3: もしそのぽゆぽいLv.25は崩御するとすると「色好い」ということは本当だ fact4: もし仮にこのぽちゃぽゆLv.30が引き倒せばこのぽちゃぽゆLv.30は乗っける fact5: そのぽねぽにゅLv.20は届き易くて加えてレベルダウンする
fact5 -> int1: そのぽねぽにゅLv.20はレベルダウンする; int1 & fact2 -> int2: このぽちゃぽゆLv.30は引き倒す; int2 & fact4 -> int3: このぽちゃぽゆLv.30は乗っける; int3 & fact1 -> int4: そのぽゆぽいLv.25は崩御する; int4 & fact3 -> hypothesis;
fact5 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{b}; int2 & fact4 -> int3: {D}{b}; int3 & fact1 -> int4: {E}{c}; int4 & fact3 -> hypothesis;
$facts$ = fact1: もしもこのぽちゃぽゆLv.30が乗っければそのぽゆぽいLv.25は崩御する fact2: そのぽねぽにゅLv.20がレベルダウンするとしたらこのぽちゃぽゆLv.30は引き倒す fact3: もしそのぽゆぽいLv.25は崩御するとすると「色好い」ということは本当だ fact4: もし仮にこのぽちゃぽゆLv.30が引き倒せばこのぽちゃぽゆLv.30は乗っける fact5: そのぽねぽにゅLv.20は届き易くて加えてレベルダウンする ; $hypothesis$ = そのぽゆぽいLv.25は色好い ; $proof$ = 
fact5 -> int1: そのぽねぽにゅLv.20はレベルダウンする; int1 & fact2 -> int2: このぽちゃぽゆLv.30は引き倒す; int2 & fact4 -> int3: このぽちゃぽゆLv.30は乗っける; int3 & fact1 -> int4: そのぽゆぽいLv.25は崩御する; int4 & fact3 -> hypothesis; __PROVED__
fact5 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{b}; int2 & fact4 -> int3: {D}{b}; int3 & fact1 -> int4: {E}{c}; int4 & fact3 -> hypothesis; __PROVED__