「この乳用牛はリンクスだがダイアログでない」ということは成り立つということはない
fact1: 「あのホテルは遊び回らない」ということは成り立たない fact2: 「この保釈は遊び回らない」ということは成り立たない fact3: もしこの保釈は遊び回れば「「この乳用牛はリンクスだけどダイアログでない」ということは偽だ」ということは事実だ
$facts$ = fact1: 「あのホテルは遊び回らない」ということは成り立たない fact2: 「この保釈は遊び回らない」ということは成り立たない fact3: もしこの保釈は遊び回れば「「この乳用牛はリンクスだけどダイアログでない」ということは偽だ」ということは事実だ ; $hypothesis$ = 「この乳用牛はリンクスだがダイアログでない」ということは成り立つということはない ; $proof$ = 
事実1: 「あのホテルは遊び回らない」ということは成り立たない
事実2: 「この保釈は遊び回らない」ということは成り立たない
事実3: もしこの保釈は遊び回れば「「この乳用牛はリンクスだけどダイアログでない」ということは偽だ」ということは事実だ

仮説: 「この乳用牛はリンクスだがダイアログでない」ということは成り立つということはない