bac area d ----- per praemissam abc per antepraemissam bc per hypothesim bac
\begin{tabula}{llllll} \mrow{2} \QDR{} $bac$ & \mrow{2} \lang & \RTT{} area $d$ & -----~ & per praemissam \TRN{} $abc$ & \mrow{2} \rang & \mrow{2} per antepraemissam \\ \QDR{} $bc$ & \regula & per hypothesim \RTT{} $bac$ \end{tabula}