Update example.proof

With the new formatting.