A= " Piero ha telefonato"

B= "Nadia è uscita"

C= "L'auto è in garage"

D= "C'è sciopero"

A→B = "se Piero ha telefonato, Nadia è uscita"

B→¬C= "se Nadia è uscita, l'auto non è in garage"

D→A= "se c'è sciopero, Piero ha telefonato"

D= "V" (c'è sciopero)

(D→A)∧D ⇒ A. A= "V" ("Piero ha telefonato") . Prima deduzione

(A→B)∧A ⇒ B. B= "V" ("Nadia è uscita"). Seconda deduzione

(B→¬C)∧B ⇒¬C. ¬C= "V" ("L'auto non è in garage"). Terza deduzione