Finish example proof from tableau algorithm.