US8959041B2 - Hypothesis Verification Using Ontologies, Belief Axioms, Belief Assertions, Premise Axioms, and Premise Assertions