Construct the proof by clicking on elements at the top and dragging them to
the statement and reason cells. Before constructing the proof, click on each
tab to see what elements are available.
This proof problem is shown in learning mode. That means you can only
drag the correct element to the correct statement or reason cell.