G
IF M, then (IF G then A)
M
THEREFORE (IF G then A), THEREFORE A

IF M AND A
THEN NOT E
M AND A (see previous paragraph)
THEREFORE NOT E

IF O AND V THEN NOT E OR R
(and vice versa)
NOT E (see previous paragraph)
THEREFORE O AND V
THEREFORE O