provide explanations for facts, as a list of axioms (asserted facts)
that entail it under the current set of rules