premise: Five men, uniformly dressed in white shirts, tie and black slacks converse at the back of an open van. hypothesis: the turtles are in the back of Aprils's van.
contradiction: The men cannot be both in the van and at the back of the van. Men are not turtles, as well.