public void testAddRuleAndFact()
 {
     weaponsKB.tell("(Missile(x) => Weapon(x))");
     Assert.AreEqual(1, weaponsKB.getNumberRules());
     weaponsKB.tell("American(West)");
     Assert.AreEqual(1, weaponsKB.getNumberRules());
     Assert.AreEqual(1, weaponsKB.getNumberFacts());
 }