premise: Two excavators are being towed by a large truck along the highway. hypothesis: A large truck is carrying brand new cars away from the factory.
contradiction: excavators are not new cars and they cannot be towed along the highway if they are being carried away from a factory.