「この学会誌は家畜化しないけど博打打ちである」ということは確かでない
fact1: 何らかの物はカテゴライズするということはない fact2: 「あるものはカテゴライズしない」ということは誤っていないとするとこの学会誌は家畜化するということはないがしかし博打打ちである
$facts$ = fact1: 何らかの物はカテゴライズするということはない fact2: 「あるものはカテゴライズしない」ということは誤っていないとするとこの学会誌は家畜化するということはないがしかし博打打ちである ; $hypothesis$ = 「この学会誌は家畜化しないけど博打打ちである」ということは確かでない ; $proof$ = 
事実1: 何らかの物はカテゴライズするということはない
事実2: 「あるものはカテゴライズしない」ということは誤っていないとするとこの学会誌は家畜化するということはないがしかし博打打ちである

仮説: 「この学会誌は家畜化しないけど博打打ちである」ということは確かでない