「もし仮に呼び易くないなら成され易くない」モンスターはいる
fact1: もし何らかのモンスターが呼び易いならば成され易くない fact2: 「もしも「呼び易いということはない」ということは事実だとすれば成され易い」モンスターはいる fact3: もしとあるモンスターが呼び易いということはないとするとそれは成され易くない
fact3 -> int1: もし仮にそのぽゆぽのLv.42は呼び易いということはないとしたら「そのぽゆぽのLv.42は成され易くない」ということは成り立つ; int1 -> hypothesis;
fact3 -> int1: ¬{B}{aa} -> ¬{C}{aa}; int1 -> hypothesis;
$facts$ = fact1: もし何らかのモンスターが呼び易いならば成され易くない fact2: 「もしも「呼び易いということはない」ということは事実だとすれば成され易い」モンスターはいる fact3: もしとあるモンスターが呼び易いということはないとするとそれは成され易くない ; $hypothesis$ = 「もし仮に呼び易くないなら成され易くない」モンスターはいる ; $proof$ = 
fact3 -> int1: もし仮にそのぽゆぽのLv.42は呼び易いということはないとしたら「そのぽゆぽのLv.42は成され易くない」ということは成り立つ; int1 -> hypothesis; __PROVED__
fact3 -> int1: ¬{B}{aa} -> ¬{C}{aa}; int1 -> hypothesis; __PROVED__