A \[\sim p\] B \[q\] C \[p \rightarrow q\] D \[q \rightarrow p\] E \[p\; \wedge \sim q\]