「仮に逃れ難いということはないとすれば取得し易くなくて更に利用し易くない」モンスターはいる
fact1: 「もしも薄明るくないとしたら微笑ましくてまた丸くない」モンスターはいる fact2: もしそのぴねぴゆLv.20が逃れ難いということはないとすれば取得し易くないししかもそれは利用し易くない
fact2 -> hypothesis;
fact2 -> hypothesis;
$facts$ = fact1: 「もしも薄明るくないとしたら微笑ましくてまた丸くない」モンスターはいる fact2: もしそのぴねぴゆLv.20が逃れ難いということはないとすれば取得し易くないししかもそれは利用し易くない ; $hypothesis$ = 「仮に逃れ難いということはないとすれば取得し易くなくて更に利用し易くない」モンスターはいる ; $proof$ = 
fact2 -> hypothesis; __PROVED__
fact2 -> hypothesis; __PROVED__