premise: A blue building has smoke pouring out while a firetruck sits in front of it. hypothesis: There is no firetruck.
contradiction: Either a firetruck sits in front of the building, or there is no firetruck.