あのもやもちゃLv.70は立て易い
fact1: もしもあのもやもちゃLv.70が悲しいとしたら相談し易い fact2: あのもやもちゃLv.70は悲しい fact3: もしもあのもやもちゃLv.70が相談し易いならば立て易い
fact1 & fact2 -> int1: あのもやもちゃLv.70は相談し易い; int1 & fact3 -> hypothesis;
fact1 & fact2 -> int1: {B}{a}; int1 & fact3 -> hypothesis;
$facts$ = fact1: もしもあのもやもちゃLv.70が悲しいとしたら相談し易い fact2: あのもやもちゃLv.70は悲しい fact3: もしもあのもやもちゃLv.70が相談し易いならば立て易い ; $hypothesis$ = あのもやもちゃLv.70は立て易い ; $proof$ = 
fact1 & fact2 -> int1: あのもやもちゃLv.70は相談し易い; int1 & fact3 -> hypothesis; __PROVED__
fact1 & fact2 -> int1: {B}{a}; int1 & fact3 -> hypothesis; __PROVED__