このものもちゃLv.2は腫れぼったい
fact1: 「もしこのものもちゃLv.2が怪しいならこのものもちゃLv.2は腫れぼったい」ということは事実である fact2: このものもちゃLv.2は怪しくて快い
fact2 -> int1: このものもちゃLv.2は怪しい; int1 & fact1 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact1 -> hypothesis;
$facts$ = fact1: 「もしこのものもちゃLv.2が怪しいならこのものもちゃLv.2は腫れぼったい」ということは事実である fact2: このものもちゃLv.2は怪しくて快い ; $hypothesis$ = このものもちゃLv.2は腫れぼったい ; $proof$ = 
fact2 -> int1: このものもちゃLv.2は怪しい; int1 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: {A}{a}; int1 & fact1 -> hypothesis; __PROVED__