Added Calum's changes to the TruthTable so that it now sets up the
variables that are required. Minor modification the engine and
TruthTable
Removed printing of the rules, not needed and only required for
debugging