推理机中的正向推理是从结果中得到原始数据和已知条件。