A q → r ("Se o Professor B coordena o clube de teatro, então o Professor C coordena o clube de esportes").
B q Λ ~r ("O Professor B coordena o clube de teatro e o Professor C não coordena o clube de esportes).
C r Λ q (" O Professor C coordena o clube de esportes e o Professor B coordena o clube de teatro").
D ~ (q Λ r) ("Não é verdade que Professor B coordena o clube de teatro e o Professor C coordena o clube de esportes").