[(p → q) ∧ (q → r)] → (p → r)[(p → q) ∧ (q → r)] → (p → r)