Select logic in the lower panel and press 'Start from Selection'.
In the proof, the middle panel, select a single line by clicking on it, or multiple lines by cmd-clicking on several lines.
Choose a suitable rule off the Rules Menu to add a line.
To use the PME Rules, Select a line, Select 'Rewrite Rules' from the Rules Menu.