premise: Three human carriages that are not in service, two of them being used by barefoot men for shade on a hot day. hypothesis: There are six carrriages.
contradiction: There can be either three or six carriages.