14. The method of claim 12 , wherein the theorem prover further performs: determining whether there are any additional semantic statements; if there are additional semantic statements: processing an additional semantic statement from the data with the rules and ontology; determining whether the additional semantic statement is consistent with the rules and ontology; determining a fact from the additional semantic statement that gives rise to an inconsistency if the additional semantic statement is inconsistent; removing the fact from the additional semantic statement that gives rise to the inconsistency; and repeating the preceding until no semantic statements remain.
15. The method of claim 14 , wherein the theorem prover further performs applying filters to semantic statements.