「「もしもいじらしくないし更に厚いということはないとするとくねくねしない」モンスターはいる」ということは成り立たない
fact1: 仮にあるモンスターはいじらしくないけど厚いとすればそれはくねくねしない
$facts$ = fact1: 仮にあるモンスターはいじらしくないけど厚いとすればそれはくねくねしない ; $hypothesis$ = 「「もしもいじらしくないし更に厚いということはないとするとくねくねしない」モンスターはいる」ということは成り立たない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__