premise: Gray dog running down pavement toward laundry line in courtyard. hypothesis: A dog is stuck in a tree.
contradiction: If a dog is running, it cannot be stuck. If it's on the pavement going towards the courtyard then it's not in a tree.