そのぽいぽくLv.85は荒々しい
fact1: もし仮にそのまのまねLv.18は排するなら「あのまゆまにょLv.68は心無い」ということは真実だ fact2: そのまのまねLv.18は排するしそれは抜き取れる fact3: もし仮にあのまゆまにょLv.68が心無いならそのぽいぽくLv.85は荒々しい
fact2 -> int1: そのまのまねLv.18は排する; int1 & fact1 -> int2: あのまゆまにょLv.68は心無い; int2 & fact3 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact1 -> int2: {C}{b}; int2 & fact3 -> hypothesis;
$facts$ = fact1: もし仮にそのまのまねLv.18は排するなら「あのまゆまにょLv.68は心無い」ということは真実だ fact2: そのまのまねLv.18は排するしそれは抜き取れる fact3: もし仮にあのまゆまにょLv.68が心無いならそのぽいぽくLv.85は荒々しい ; $hypothesis$ = そのぽいぽくLv.85は荒々しい ; $proof$ = 
fact2 -> int1: そのまのまねLv.18は排する; int1 & fact1 -> int2: あのまゆまにょLv.68は心無い; int2 & fact3 -> hypothesis; __PROVED__
fact2 -> int1: {A}{a}; int1 & fact1 -> int2: {C}{b}; int2 & fact3 -> hypothesis; __PROVED__