See the Web page

   http://www.cs.unm.edu/~mccune/prover9/

for more examples.
