「もし仮に根気良いということはないとしたら読み難い」モンスターはいる
fact1: もしもとあるモンスターが根気良くないとすれば読み難い fact2: 根気良いモンスターは読み難い fact3: 「もしも用い易くないなら入り易い」モンスターはいる fact4: 「もしも根気良いなら読み難い」モンスターはいる
fact1 -> int1: もし仮にこのみのみねLv.93が根気良いということはないならばこのみのみねLv.93は読み難い; int1 -> hypothesis;
fact1 -> int1: ¬{B}{aa} -> {C}{aa}; int1 -> hypothesis;
$facts$ = fact1: もしもとあるモンスターが根気良くないとすれば読み難い fact2: 根気良いモンスターは読み難い fact3: 「もしも用い易くないなら入り易い」モンスターはいる fact4: 「もしも根気良いなら読み難い」モンスターはいる ; $hypothesis$ = 「もし仮に根気良いということはないとしたら読み難い」モンスターはいる ; $proof$ = 
fact1 -> int1: もし仮にこのみのみねLv.93が根気良いということはないならばこのみのみねLv.93は読み難い; int1 -> hypothesis; __PROVED__
fact1 -> int1: ¬{B}{aa} -> {C}{aa}; int1 -> hypothesis; __PROVED__