premise: A man is joyfully holding an infant inside a church. hypothesis: A man is walking with a dog outside a store.
contradiction: An infant is human and a dog is an animal. One cannot be inside and outside simultaneously.