premise: Three firemen holding onto ropes from above. hypothesis: The firemen are washing the firetruck.
contradiction: The firemen cannot be holding onto ropes and washing the firetruck at the same time.