Create example.proof

This is not how the user will see the proof, but this is how the proof will be saved.