To start a new proof in pandora you can use any the following options:

• Select new from the File Menu
• Click on Start New Proof button in the welcome page.

Once you have opened a new proof you will be in input mode and be able to add formulas to the givens field and to the goal field.

Once you have entered your conclusion you can then start the proof by clicking on the Start Proof button.