This repository is no longer active, and has been moved to https://github.com/phillord/hermit-reasoner.