\[Если\ a > 5\ \ и\ \ b > 7:\]
\[a + b > 12 \Longrightarrow верно.\]
\[+ \left| \begin{matrix} a > 5 \\ b > 7 \\ \end{matrix} \right.\ \]
\[\overline{\ \ \ a + b > 12}\]