public void testUnificationFailure() { Variable var = new Variable("x"); Sentence sentence = parser.parse("Knows(y)"); theta = null; Dictionary<Variable, Term> result = unifier.unify(var, sentence, theta); Assert.IsNull(result); }