あの三論はＯＢ臭くない
fact1: もしあの三論が出走出来るならそれはＯＢ臭い fact2: あの三論は出走出来る
$facts$ = fact1: もしあの三論が出走出来るならそれはＯＢ臭い fact2: あの三論は出走出来る ; $hypothesis$ = あの三論はＯＢ臭くない ; $proof$ = 
事実1: もしあの三論が出走出来るならそれはＯＢ臭い
事実2: あの三論は出走出来る

仮説: あの三論はＯＢ臭くない