premise: Three people stand near a couple of machines, one labeled Sharp. hypothesis: The people are running on a forest path.
contradiction: Standing and running don't happen concurrently. Machines aren't in forests.