premise: A blue plane does loops as it heads down to earth. hypothesis: The plane is green and is flying towards space.
contradiction: A plane can be either blue or green. A plane cannot head down to earth and fly towards space at the same time.