premise: four firefighters are spraying water through an outer wall of the building. hypothesis: the firemen are driving the firetruck.
contradiction: The firefighters/firemen cannot be both spraying water and driving the fire truck at the same time.