「仮にぐらつかないなら薄れ始めない」モンスターはいる
fact1: もしあのもなもにLv.13がぐらつくとすると薄れ始めない fact2: 「もし仮に何らかのモンスターがぐらつくということはないとすればそれは薄れ始めない」ということは成り立つ fact3: 「もしも様良しということはないとすれば信心深いということはない」モンスターはいる
fact2 -> int1: 仮にあのもなもにLv.13がぐらつかないとすればあのもなもにLv.13は薄れ始めない; int1 -> hypothesis;
fact2 -> int1: ¬{B}{aa} -> ¬{C}{aa}; int1 -> hypothesis;
$facts$ = fact1: もしあのもなもにLv.13がぐらつくとすると薄れ始めない fact2: 「もし仮に何らかのモンスターがぐらつくということはないとすればそれは薄れ始めない」ということは成り立つ fact3: 「もしも様良しということはないとすれば信心深いということはない」モンスターはいる ; $hypothesis$ = 「仮にぐらつかないなら薄れ始めない」モンスターはいる ; $proof$ = 
fact2 -> int1: 仮にあのもなもにLv.13がぐらつかないとすればあのもなもにLv.13は薄れ始めない; int1 -> hypothesis; __PROVED__
fact2 -> int1: ¬{B}{aa} -> ¬{C}{aa}; int1 -> hypothesis; __PROVED__