Question 766444
<pre>
1)  R v ~T
2)  ~T -> O
3)  ~O                / R
-----------------------------------
4)  ~~T                      2,3   Modus Tollens
5)  ~T v R                   1     Commutation
6)  R                        5,4   Disjunctive Syllogism
</pre>