public void IsNotSatisfied() { IsAFact fact = new IsAFact("p", "IsFact"); Assert.IsFalse(fact.IsSatisfiedByValue(fact)); }