premise: A bunch of people are in a van, smiling. hypothesis: tiger looks at cheetah.
contradiction: The subject cannot be a bunch of people and a tiger simultaneously. The subject cannot be in a van smiling and looking at a cheetah simultaneously.