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