inference system