Thesis version

The release is the version of the prover which is described in the PhD thesis A Natural Proof System for Natural Language at http://naturallogic.pro/phd