「「もしも「許し難くて冷たい」ということは間違っているとすると「暮らし易い」ということは誤っている」モンスターはいる」ということは嘘である
fact1: もし「とあるモンスターは許し難ししさらに冷たい」ということは確かでないなら暮らし易くない
fact1 -> int1: 「このもにゃもにゃLv.11は許し難くておまけに冷たい」ということは真実でないとしたら暮らし易くない; int1 -> hypothesis;
fact1 -> int1: ¬({AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis;
$facts$ = fact1: もし「とあるモンスターは許し難ししさらに冷たい」ということは確かでないなら暮らし易くない ; $hypothesis$ = 「「もしも「許し難くて冷たい」ということは間違っているとすると「暮らし易い」ということは誤っている」モンスターはいる」ということは嘘である ; $proof$ = 
fact1 -> int1: 「このもにゃもにゃLv.11は許し難くておまけに冷たい」ということは真実でないとしたら暮らし易くない; int1 -> hypothesis; __DISPROVED__
fact1 -> int1: ¬({AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis; __DISPROVED__