The first step to creating a proof in Pandora is to add the given lines to it.

To do this you need to enter the formulas you wish to add, one at a time, into the Add Given input field below the toolbar (this field is enabled when you start a new proof but becomes disabled after you have added a conclusion to your proof). Enter the proof using Pandora's logic syntax and then click on the Add button to add the formula to the proof.

When you have added all the given lines you need click on the No More Given button and enter the proof's conclusion in the same input field.

If you want to add another given line to your proof after you have clicked on No More Given you can select Add Given from the Edit Menu to renable the input field.