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());
}