「この国連開発計画は追尾しない」ということは真実である
fact1: この二重瞼は追尾する fact2: この国連開発計画は追尾する
$facts$ = fact1: この二重瞼は追尾する fact2: この国連開発計画は追尾する ; $hypothesis$ = 「この国連開発計画は追尾しない」ということは真実である ; $proof$ = 
事実1: この二重瞼は追尾する
事実2: この国連開発計画は追尾する

仮説: 「この国連開発計画は追尾しない」ということは真実である