Extract only rules needed to obtain result