Question 1113758
<pre>
1. C -> (T -> L)
2. ~L
3. ~E -> C
4. L v ~E      /~T

5. ~E        4,2  Disjunctive syllogism
6. C         3,5  Modus ponens
7. T -> L    1,6  Modus ponens
8. ~T        7,2  Modus tollens

Edwin</pre>