そのぴにゅぴゆLv.21が振らすということはないしその上それは欲しくない
fact1: 「このぽにょぽにLv.19は痛ましい」ということは本当だ fact2: あのもくもちゃLv.72は欲しい fact3: そのぴにゅぴゆLv.21は振らさない fact4: もしもこのぽにょぽにLv.19が漏れ易いとしたらあのもくもちゃLv.72は振らすということはない fact5: あのもくもちゃLv.72が振らさないとするとそのぴにゅぴゆLv.21は振らさない fact6: あのもくもちゃLv.72が振らさないとしたらそのぴにゅぴゆLv.21は振らさないし加えて欲しくない fact7: もしこのぽにょぽにLv.19が痛ましいか漏れ易いかあるいは両方ならあのもくもちゃLv.72は振らさない
fact1 -> int1: このぽにょぽにLv.19は痛ましいかそれは漏れ易いか両方だ; int1 & fact7 -> int2: あのもくもちゃLv.72は振らさない; int2 & fact6 -> hypothesis;
fact1 -> int1: ({A}{a} v {B}{a}); int1 & fact7 -> int2: ¬{C}{b}; int2 & fact6 -> hypothesis;
$facts$ = fact1: 「このぽにょぽにLv.19は痛ましい」ということは本当だ fact2: あのもくもちゃLv.72は欲しい fact3: そのぴにゅぴゆLv.21は振らさない fact4: もしもこのぽにょぽにLv.19が漏れ易いとしたらあのもくもちゃLv.72は振らすということはない fact5: あのもくもちゃLv.72が振らさないとするとそのぴにゅぴゆLv.21は振らさない fact6: あのもくもちゃLv.72が振らさないとしたらそのぴにゅぴゆLv.21は振らさないし加えて欲しくない fact7: もしこのぽにょぽにLv.19が痛ましいか漏れ易いかあるいは両方ならあのもくもちゃLv.72は振らさない ; $hypothesis$ = そのぴにゅぴゆLv.21が振らすということはないしその上それは欲しくない ; $proof$ = 
fact1 -> int1: このぽにょぽにLv.19は痛ましいかそれは漏れ易いか両方だ; int1 & fact7 -> int2: あのもくもちゃLv.72は振らさない; int2 & fact6 -> hypothesis; __PROVED__
fact1 -> int1: ({A}{a} v {B}{a}); int1 & fact7 -> int2: ¬{C}{b}; int2 & fact6 -> hypothesis; __PROVED__