Anyone wanna help me prove the validity of this argument?

[psychoguitar]

(J>R) . (~J>E)
R>I
[(J>R) . (R>I)] > [(J.I) v (~J.~I)]
(J.I) > T
(~J.~I) > D

// T v D