「「もし仮に底深くないがしかし陰気臭いとしたら忌まわしいということはない」モンスターはいる」ということは偽である
fact1: もしなんらかのモンスターは底深くないけど陰気臭いならばそれは忌まわしい fact2: 「もしも疑り深くて厳いならば入れ易くない」モンスターはいる
$facts$ = fact1: もしなんらかのモンスターは底深くないけど陰気臭いならばそれは忌まわしい fact2: 「もしも疑り深くて厳いならば入れ易くない」モンスターはいる ; $hypothesis$ = 「「もし仮に底深くないがしかし陰気臭いとしたら忌まわしいということはない」モンスターはいる」ということは偽である ; $proof$ = 
__UNKNOWN__
__UNKNOWN__