取り柄は可変長(行数)のみです。
昔懐かしい getWHD をもう少し上手く使えれば....

ovalbox も tDB さんのものを流用させていただきました。m(__)m

\documentclass[b5j]{jarticle}

\usepackage[notMy,papersize]{emathP}
\usepackage{emathLb}

\begin{document}
\newlength{\WCol}%
\setlength{\WCol}{8mm}%
\def\LLead{\makebox[0.8\WCol][l]{\hrulefill}}%

\caprm%
$
\begin{hyou}{cC{\WCol}C{\WCol}C{\WCol}c}%
1&2&3&4&5\\
\Rectbox[rectboxoval=4truept]{仮定}& \multicolumn{3}{c}{AO=CO}\\
&\multicolumn{3}{c}{\kaku{OAB}=\kaku{OCD}}\\
&&\multicolumn{3}{l}{%
\dimenref*{HTest1}\Height%
\getWHD{Test1}{%
\begin{hyou}{cllll}%
&&\multicolumn{2}{r}{\Rectbox[rectboxoval=4truept]{根拠}}\\
&&\LLead&\kaku{AOB}=\kaku{COD}&\houteisiki{}\\
&&\LLead&\text{三角形の合同条件}&\houteisiki{}\\
&
\smash{\begin{zahyou*}[ul=1truept,haiti=t](0,0)(0,0)%
\ArrowLine{(0,\Height)}{(0,0)}%
\end{zahyou*}}
\end{hyou}
}%
}\\
&\multicolumn{3}{c}{\sankaku{ABO}\equiv\sankaku{CDO}}\\
&&\multicolumn{3}{l}{%
\dimenref*{HTest2}\Height%
\getWHD{Test2}{%
\begin{hyou}{cllll}%
&&
\LLead&\text{合同な図形の性質}&\houteisiki{}\\
&
\smash{\begin{zahyou*}[ul=1truept,haiti=t](0,0)(0,0)%
\ArrowLine{(0,\Height)}{(0,0)}%
\end{zahyou*}}
\end{hyou}
}
}\\
\Rectbox[rectboxoval=4truept]{結論}& \multicolumn{3}{c}{AB=CD}\\
\end{hyou}
$
\end{document}

▼関連発言
│
└◆6916:Re:証明の流れ（saloon #522） [tDB] 01/02 11:45
　├◆6917:Re[2]:証明の流れ（saloon #522） [石原　守] 01/02 12:01
　└◆6918:Re[2]:証明の流れ（saloon #522） [田中徹] 01/02 17:31
　　└◆6919:Re[3]:証明の流れ（saloon #522） [kimu] 01/03 12:12<-last