2. Let c(x) denote “x is in this class,” let b(x) be “x owns ablue convertible,” and let t(x) be “x
2. Let c(x) denote “x is in this class,” let b(x) be “x owns ablue convertible,” and let t(x) be “x has gotten a speedingticket.” Given these premises c(John), b(John), ∀x(b(x) → t(x)),apply rules of inference to conclude ∃x(c(x) ∧ t(x)). . . .