Hi all. How would I prove the following conditional statement is a tautoloogy without using truth tables?

[(p->q)/\(q->r)]->(p->r)

Thanks in advance.

Also, does anyone know if it would it be possible to use a Maple command to solve this one?