「もしも入れ難くないならば緩いかまたは手厳しいか両方な」モンスターはいる
fact1: 入れ難いということはないモンスターは緩いか手厳しいかもしくは両方ともである
fact1 -> int1: 仮に「あのまなまのLv.9は入れ難くない」ということは成り立つとしたら緩いかもしくは手厳しい; int1 -> hypothesis;
fact1 -> int1: ¬{A}{aa} -> ({AA}{aa} v {AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: 入れ難いということはないモンスターは緩いか手厳しいかもしくは両方ともである ; $hypothesis$ = 「もしも入れ難くないならば緩いかまたは手厳しいか両方な」モンスターはいる ; $proof$ = 
fact1 -> int1: 仮に「あのまなまのLv.9は入れ難くない」ということは成り立つとしたら緩いかもしくは手厳しい; int1 -> hypothesis; __PROVED__
fact1 -> int1: ¬{A}{aa} -> ({AA}{aa} v {AB}{aa}); int1 -> hypothesis; __PROVED__