premise: An SPFD Tactical truck is sitting in the street with a driver inside. hypothesis: An SPFD Tactical truck is on fire on the street.
contradiction: An SPFD Tactical truck is either sitting in the street with a driver inside or on fire on the street.