1)  T
2)  T -> B
3)  [(T * B) v K] -> ~L
4)  L v A 
/   A * T 
-------------------------------------------------------
5)  B                   2,1      Modus Ponens
6)  T * B               1,5      Conjunction
7)  (T * B) v K         6        Addition
8)  ~L                  3,7      Modus Ponens
9)  A                   4,8      Disjunctive Syllogism
10) A * T               9,1      Conjunction

1)  T * B
2)  (T v M) -> (C * A) 
/   A v D 
-------------------------------------------------------
3)  T                  1        Simplification
4)  T v M              3        Addition
5)  C * A              2,4      Modus Ponens
6)  A * C              5        Commutation
7)  A                  6        Simplification
8)  A v D              7        Addition