(wotk in progress) inference algorithm with immediate resolution (3)