このぽわぽちゃLv.51は持ち易いかあるいは毛深いかあるいはどちらもである
fact1: もしもそのぴにぴくLv.98が吸うとすればこのぴねぴゆLv.52は拙い fact2: そのぴにぴくLv.98は吸う fact3: もしこのぽわぽちゃLv.51が吹き飛ぶとすればそれは持ち易い fact4: もし仮になんらかのモンスターは吸わないなら「「持ち易いか毛深いかあるいはどちらもである」ということは確かである」ということは本当であるということはない fact5: 仮にこのぴねぴゆLv.52は拙いとすれば「このぽわぽちゃLv.51は吹き飛ぶ」ということは本当である
fact1 & fact2 -> int1: このぴねぴゆLv.52は拙い; int1 & fact5 -> int2: このぽわぽちゃLv.51は吹き飛ぶ; int2 & fact3 -> int3: このぽわぽちゃLv.51は持ち易い; int3 -> hypothesis;
fact1 & fact2 -> int1: {B}{b}; int1 & fact5 -> int2: {C}{c}; int2 & fact3 -> int3: {D}{c}; int3 -> hypothesis;
「このぽわぽちゃLv.51は持ち易いかもしくは毛深いかあるいはどちらもだ」ということは真実であるということはない
fact6 -> int4: もしもこのぽわぽちゃLv.51は吸わないならば「このぽわぽちゃLv.51は持ち易いかもしくは毛深い」ということは嘘である;
$facts$ = fact1: もしもそのぴにぴくLv.98が吸うとすればこのぴねぴゆLv.52は拙い fact2: そのぴにぴくLv.98は吸う fact3: もしこのぽわぽちゃLv.51が吹き飛ぶとすればそれは持ち易い fact4: もし仮になんらかのモンスターは吸わないなら「「持ち易いか毛深いかあるいはどちらもである」ということは確かである」ということは本当であるということはない fact5: 仮にこのぴねぴゆLv.52は拙いとすれば「このぽわぽちゃLv.51は吹き飛ぶ」ということは本当である ; $hypothesis$ = このぽわぽちゃLv.51は持ち易いかあるいは毛深いかあるいはどちらもである ; $proof$ = 
fact1 & fact2 -> int1: このぴねぴゆLv.52は拙い; int1 & fact5 -> int2: このぽわぽちゃLv.51は吹き飛ぶ; int2 & fact3 -> int3: このぽわぽちゃLv.51は持ち易い; int3 -> hypothesis; __PROVED__
fact1 & fact2 -> int1: {B}{b}; int1 & fact5 -> int2: {C}{c}; int2 & fact3 -> int3: {D}{c}; int3 -> hypothesis; __PROVED__