このもちょもちょLv.72は打ち上がり易い
fact1: もし仮にこのもちょもちょLv.72が疲労し易いとしたらそれは打ち上がり易い fact2: このもちょもちょLv.72は疲労し易い
fact2 -> int1: このもちょもちょLv.72は疲労し易い; int1 & fact1 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact1 -> hypothesis;
$facts$ = fact1: もし仮にこのもちょもちょLv.72が疲労し易いとしたらそれは打ち上がり易い fact2: このもちょもちょLv.72は疲労し易い ; $hypothesis$ = このもちょもちょLv.72は打ち上がり易い ; $proof$ = 
fact2 -> int1: このもちょもちょLv.72は疲労し易い; int1 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: {A}{a}; int1 & fact1 -> hypothesis; __PROVED__