(work in progress) inference algorithm with immediate resolution