pub fn is_consistent(set: &[Belief]) -> bool
A belief base is consistent iff no atom is held both positively and negatively.