Sejam !$ p !$, !$ q !$, !$ r !$ e !$ s !$ três proposições tais que !$ \sim p \rightarrow q \rightarrow \sim r \rightarrow s !$, em que !$ "\sim" !$ é a negação da proposição subsequente, então, certamente