その所在はコサックで楽しい
fact1: もしある物は有るらしくないとしたら「その所在はコサックだしそれに楽しい」ということは成り立たない fact2: 何かは有るらしくない
$facts$ = fact1: もしある物は有るらしくないとしたら「その所在はコサックだしそれに楽しい」ということは成り立たない fact2: 何かは有るらしくない ; $hypothesis$ = その所在はコサックで楽しい ; $proof$ = 
事実1: もしある物は有るらしくないとしたら「その所在はコサックだしそれに楽しい」ということは成り立たない
事実2: 何かは有るらしくない

仮説: その所在はコサックで楽しい