premise: Man driving a green taxi down a busy street. hypothesis: The man is driving a yellow taxi down an empty street.
contradiction: If a street is busy it cannot be empty and green and yellow are different colors.