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