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