premise: A choir in festive red stand facing the congregation of a church with a high, cavernous, arching ceiling. hypothesis: A choir is wearing black.
contradiction: If the choir is wearing red it cannot wear black.