Solution to 6.

 

1. {(m&n)vo}->r
2. o&m
3. o->n
4. ovs /.:rvs
5. o 2 simp
6. m 2 simp
7. n 5,3 mp
8. m&n 6,7 conj
9. (m&n)vo 8 add
10. r 9,1 mp
11. rvs 10 add