Question 1179972
<pre>

1. O ⊃ (Q • N)
2. (N v E) ⊃ S    / O ⊃ S

3. O ⊃ (N • Q)    1, commutation
4. O ⊃ N          3, simplification
5. O ⊃ (N v E)    4, addition
6. O ⊃ S          5,2, hypothetical syllogism

Edwin</pre>