あのもにもねLv.5は構成出来る
fact1: もし仮にあのもにもねLv.5が取れ難いならばあのもにもねLv.5は構成出来る fact2: あのもにもねLv.5は取れ難い
fact2 -> int1: あのもにもねLv.5は取れ難い; int1 & fact1 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact1 -> hypothesis;
$facts$ = fact1: もし仮にあのもにもねLv.5が取れ難いならばあのもにもねLv.5は構成出来る fact2: あのもにもねLv.5は取れ難い ; $hypothesis$ = あのもにもねLv.5は構成出来る ; $proof$ = 
fact2 -> int1: あのもにもねLv.5は取れ難い; int1 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: {A}{a}; int1 & fact1 -> hypothesis; __PROVED__