premise: Two men in blue suits carrying black briefcases walk into the entrance of Saint Peter's Church. hypothesis: the men are visiting the mall for shopping.
contradiction: a church can not be in a mall.