premise: Two men are carrying an animal carcass while accompanied by third. hypothesis: The animal is carrying three men after finishing its hunt.
contradiction: The men can't be carrying the animal while the animal is also carrying the men.