Solution for Himpl.EntailmentRulesProofs.himpl_frame_l
Click on the 'Next' button to reveal the proof step by step.