このみにょみよLv.93は罹り易いし把握し辛い
fact1: このみにょみよLv.93は把握し辛い fact2: 「このみにょみよLv.93は罹り易い」ということは誤っていない
fact2 -> int1: 「このみにょみよLv.93は罹り易い」ということは誤っていない; int1 & fact1 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact1 -> hypothesis;
$facts$ = fact1: このみにょみよLv.93は把握し辛い fact2: 「このみにょみよLv.93は罹り易い」ということは誤っていない ; $hypothesis$ = このみにょみよLv.93は罹り易いし把握し辛い ; $proof$ = 
fact2 -> int1: 「このみにょみよLv.93は罹り易い」ということは誤っていない; int1 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: {A}{a}; int1 & fact1 -> hypothesis; __PROVED__