premise: There are two carts being driven by mules, each carrying some crops and people. hypothesis: The mules are in the pasture resting.
contradiction: If the carts are being driven by the mules, the mules are not resting.