「もし仮に「この人吉荘はクラムシェル型だけれど図々しいということはない」ということは間違いならば「この人吉荘は有り難し」ということは正しい」ということは成り立たない
fact1: もし仮に「何かはクラムシェル型であるけれど図々しかない」ということは偽であるとするとそれは有り難し
$facts$ = fact1: もし仮に「何かはクラムシェル型であるけれど図々しかない」ということは偽であるとするとそれは有り難し ; $hypothesis$ = 「もし仮に「この人吉荘はクラムシェル型だけれど図々しいということはない」ということは間違いならば「この人吉荘は有り難し」ということは正しい」ということは成り立たない ; $proof$ = 
事実1: もし仮に「何かはクラムシェル型であるけれど図々しかない」ということは偽であるとするとそれは有り難し

仮説: 「もし仮に「この人吉荘はクラムシェル型だけれど図々しいということはない」ということは間違いならば「この人吉荘は有り難し」ということは正しい」ということは成り立たない