Question 1171460
<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>