そのぴのぴいLv.21は合唱するかあるいはそれは太し
fact1: もしもそのぴのぴいLv.21が判断し難いとすればそのぴのぴいLv.21は太し fact2: このまなまくLv.68は驕れる fact3: もしこのまなまくLv.68が驕れればそのまやまねLv.32は説明し易い fact4: もしとあるモンスターが驕れれば合唱する fact5: 「仮に「そのまやまねLv.32は説明し易い」ということは真実であるならそのもにゃもちゅLv.55は着せがましい」ということは成り立つ fact6: もしもそのもにゃもちゅLv.55が着せがましいとするとそのぴのぴいLv.21は判断し難い
fact3 & fact2 -> int1: そのまやまねLv.32は説明し易い; int1 & fact5 -> int2: そのもにゃもちゅLv.55は着せがましい; int2 & fact6 -> int3: そのぴのぴいLv.21は判断し難い; int3 & fact1 -> int4: そのぴのぴいLv.21は太し; int4 -> hypothesis;
fact3 & fact2 -> int1: {B}{b}; int1 & fact5 -> int2: {C}{c}; int2 & fact6 -> int3: {D}{d}; int3 & fact1 -> int4: {E}{d}; int4 -> hypothesis;
このもちゅもにLv.93は合唱する
fact7 -> int5: もしも「このもちゅもにLv.93は驕れる」ということは事実であるとすると合唱する;
$facts$ = fact1: もしもそのぴのぴいLv.21が判断し難いとすればそのぴのぴいLv.21は太し fact2: このまなまくLv.68は驕れる fact3: もしこのまなまくLv.68が驕れればそのまやまねLv.32は説明し易い fact4: もしとあるモンスターが驕れれば合唱する fact5: 「仮に「そのまやまねLv.32は説明し易い」ということは真実であるならそのもにゃもちゅLv.55は着せがましい」ということは成り立つ fact6: もしもそのもにゃもちゅLv.55が着せがましいとするとそのぴのぴいLv.21は判断し難い ; $hypothesis$ = そのぴのぴいLv.21は合唱するかあるいはそれは太し ; $proof$ = 
fact3 & fact2 -> int1: そのまやまねLv.32は説明し易い; int1 & fact5 -> int2: そのもにゃもちゅLv.55は着せがましい; int2 & fact6 -> int3: そのぴのぴいLv.21は判断し難い; int3 & fact1 -> int4: そのぴのぴいLv.21は太し; int4 -> hypothesis; __PROVED__
fact3 & fact2 -> int1: {B}{b}; int1 & fact5 -> int2: {C}{c}; int2 & fact6 -> int3: {D}{d}; int3 & fact1 -> int4: {E}{d}; int4 -> hypothesis; __PROVED__