あのぽわぽねLv.4は疲れ難い
fact1: そのまわまにょLv.63はけえるし美しい fact2: 仮にそのまわまにょLv.63がけえるとするとそのまわまにょLv.63は多し fact3: もしそのまわまにょLv.63が多しならあのぽわぽねLv.4は疲れ難い
fact1 -> int1: そのまわまにょLv.63はけえる; int1 & fact2 -> int2: そのまわまにょLv.63は多し; int2 & fact3 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact2 -> int2: {C}{a}; int2 & fact3 -> hypothesis;
$facts$ = fact1: そのまわまにょLv.63はけえるし美しい fact2: 仮にそのまわまにょLv.63がけえるとするとそのまわまにょLv.63は多し fact3: もしそのまわまにょLv.63が多しならあのぽわぽねLv.4は疲れ難い ; $hypothesis$ = あのぽわぽねLv.4は疲れ難い ; $proof$ = 
fact1 -> int1: そのまわまにょLv.63はけえる; int1 & fact2 -> int2: そのまわまにょLv.63は多し; int2 & fact3 -> hypothesis; __PROVED__
fact1 -> int1: {A}{a}; int1 & fact2 -> int2: {C}{a}; int2 & fact3 -> hypothesis; __PROVED__