premise: A man smiles as he sits inside a bathtub in a bathroom. hypothesis: the man is at the church alter.
contradiction: The man cannot be in the church alter and be in the bathtub in the bathroom at the same time.