A

\[\sim r\]

B

\[\sim p\]

C

p

D

\[\sim q\]

E

\[p\rightarrow q\]