premise: A bald man is getting out of a small blue car. hypothesis: The bald man got out of a red truck.
contradiction: A blue car is different from a red truck.|contradiction: One cannot get out of a red truck and blue car simultaneously.|contradiction: A blue car cannot be  a red truck.