yán / jiū / rén / yuán / lì / yòng / luó / jí / yǎn / suàn / lái / fēn / xī / fù / zá / de / tuī / lǐ / guò / chéng

研究人员利用逻辑演算来分析复杂的推理过程。

Researchers use logical calculation to analyze complex reasoning processes.