Prover9 Manual and Examples