Example of a Harder Sentential Proof

6/14/07

Example (the System in use uses ∧ for &, but otherwise it is similar to Bergmann)