premise: A man with a jacket and red shirt sits at a park bench as a dog with a plaid jacket stands near. hypothesis: The man is alone in church.
contradiction: The man cannot be in the park and at church at the same time.