premise: Two men walking behind firetruck carrying leaves. hypothesis: The men are riding in the firetruck.
contradiction: The men cannot be walking behind the firetruck and riding the firetruck at the same time.