premise: An orchestra rehearses in a church. hypothesis: There is nobody singing in the church.
contradiction: if an orchestra is rehearsing at a church then there cannot be nobody singing in the church. it is occupied.