Rules for inference
Evidence Rules working