「「もしもぐるぐるしないかまたは侍ふかもしくはどちらもであるなら物凄くない」モンスターはいる」ということは成り立たない
fact1: 「もし仮に胸苦しいとすれば「長々しかない」ということは正しい」モンスターはいる
$facts$ = fact1: 「もし仮に胸苦しいとすれば「長々しかない」ということは正しい」モンスターはいる ; $hypothesis$ = 「「もしもぐるぐるしないかまたは侍ふかもしくはどちらもであるなら物凄くない」モンスターはいる」ということは成り立たない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__