このぷにゃぷゆLv.32は易しい
fact1: もしこのぽよぽなLv.25が臭くないならあのみゆみえLv.19は古くて加えてそれは易しい fact2: 仮にこのぽよぽなLv.25が古いならばこのぽよぽなLv.25は臭い fact3: もしもこのぷにゃぷゆLv.32が塩辛いならこのぽよぽなLv.25は相談し易いということはないかもしくはすばしこいかあるいは両方だ fact4: 仮に「このぷゆぷちゃLv.45は走り易くない」ということは真実だとしたらこのぷにゃぷゆLv.32は塩辛いしそれに溶け易い fact5: なんらかのモンスターが相談し易いということはないかまたはすばしこいなら臭くない fact6: もし「このぽよぽなLv.25は臭い」ということは成り立てばこのぷにゃぷゆLv.32は易しい fact7: このぽよぽなLv.25は古い
fact2 & fact7 -> int1: このぽよぽなLv.25は臭い; int1 & fact6 -> hypothesis;
fact2 & fact7 -> int1: {B}{a}; int1 & fact6 -> hypothesis;
「あのみゆみえLv.19は易しい」ということは真実である
fact10 -> int2: もしもこのぽよぽなLv.25が相談し易くないかそれはすばしこいか両方だとすると「このぽよぽなLv.25は臭くない」ということは本当だ;
$facts$ = fact1: もしこのぽよぽなLv.25が臭くないならあのみゆみえLv.19は古くて加えてそれは易しい fact2: 仮にこのぽよぽなLv.25が古いならばこのぽよぽなLv.25は臭い fact3: もしもこのぷにゃぷゆLv.32が塩辛いならこのぽよぽなLv.25は相談し易いということはないかもしくはすばしこいかあるいは両方だ fact4: 仮に「このぷゆぷちゃLv.45は走り易くない」ということは真実だとしたらこのぷにゃぷゆLv.32は塩辛いしそれに溶け易い fact5: なんらかのモンスターが相談し易いということはないかまたはすばしこいなら臭くない fact6: もし「このぽよぽなLv.25は臭い」ということは成り立てばこのぷにゃぷゆLv.32は易しい fact7: このぽよぽなLv.25は古い ; $hypothesis$ = このぷにゃぷゆLv.32は易しい ; $proof$ = 
fact2 & fact7 -> int1: このぽよぽなLv.25は臭い; int1 & fact6 -> hypothesis; __PROVED__
fact2 & fact7 -> int1: {B}{a}; int1 & fact6 -> hypothesis; __PROVED__