AbdExp: "believed" variables are those that have :expl explainers,
not those that have been observed (which might include noise/contradictions).