「あのアメリカ車は薄汚くないけど有す」ということは誤っている
fact1: もし「賢い」ものがあるならあのアメリカ車は薄汚くないがしかしそれは有す fact2: 何かは賢い
$facts$ = fact1: もし「賢い」ものがあるならあのアメリカ車は薄汚くないがしかしそれは有す fact2: 何かは賢い ; $hypothesis$ = 「あのアメリカ車は薄汚くないけど有す」ということは誤っている ; $proof$ = 
事実1: もし「賢い」ものがあるならあのアメリカ車は薄汚くないがしかしそれは有す
事実2: 何かは賢い

仮説: 「あのアメリカ車は薄汚くないけど有す」ということは誤っている