get electrons of the hyper-resolution that lead to a given fact (if not an axiom),
using db_premises