premise: People having some gathering after attending a church service. hypothesis: People are currently attending church.
contradiction: After attending and currently attending are not possible at the same time.