Function validate_rules 

pub fn validate_rules<KV>(
    rules: &[Rule],
    vars: &HashMap<KV, Variable>,
) -> Result<()>
where
    KV: Eq + Hash + Borrow<str>,

Validation: ensure all consequents/antecedents reference existing vars/terms.