Resolution theorem proving
[计] 归结定理证明
🧩 词语组成解析
[计] 验证, 证明\\n[医] 药力试验(顺势疗法的名词)
🗣️ 情景例句
Winter in Beijing is too cold.
北京的冬天很冷。
Deeds,not words.
要行动，不要言词。
Of course a writer doing this is misunderstood:
作家如此行事当然会被人误解。