This sequent is not provable. $\mathcal{M} : p = F, q = F, r = F$ \\ $\mathcal{M} \models p \imp q, q \imp r$ \\ $\mathcal{M} \nmodels r$