premise: A large tent with a green cover at a campground. hypothesis: There is a blue tent at a campground with a blue cover.
contradiction: The tent cannot have a blue cover at the same time it has a green cover.