このもよものLv.73は与え易いしその上見付け易い
fact1: このもよものLv.73は与え易い fact2: このもよものLv.73は見付け易い
fact2 -> int1: このもよものLv.73は見付け易い; int1 & fact1 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact1 -> hypothesis;
$facts$ = fact1: このもよものLv.73は与え易い fact2: このもよものLv.73は見付け易い ; $hypothesis$ = このもよものLv.73は与え易いしその上見付け易い ; $proof$ = 
fact2 -> int1: このもよものLv.73は見付け易い; int1 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: {A}{a}; int1 & fact1 -> hypothesis; __PROVED__