Function contrafact::not

pub fn not<'a, F, S, T>(context: S, fact: F) -> NotFact<F, T> where
    S: ToString,
    F: Fact<T>,
    T: Bounds, 

Negates a fact