is the following expression a tautology?

((p -> q)(q -> r)) -> (p -> r)

note you can replace (p v q)(r v s) by pr v ps v qr v qs or by q(s v r) v (r v s)p