private bool HasImplication(IFact <T> fact1, IFact <T> fact2) { return(fact1.Implies(fact2) || fact2.Implies(fact1)); }