Se A, então B. Se B, então C. Se C, então ocorre D. Sabe-se que D não ocorre. Logo:
Se D, então C .
Se ¬D , então C .
Se B, então A.
Se ¬B, então ¬A.
Se ¬A, então ¬B.