Question 791503
<pre>
1)  R --> T
2)  R * M
3)  T --> K                / K
---------------------------------
4)  R                       2     Simplification
5)  T                       1,4   Modus Ponens
6)  K                       3,5   Modus Ponens
</pre>