premise: A Santa Cruz Fire Dept. engine outside a Gap store. hypothesis: engine is in a station.
contradiction: A fire engine cannot be parked in the fire station and parked outside a Gap store at the same time.