Paramodulation
[计] 调解法
🗣️ 情景例句
Sam, this is Susan. Sam
我是Susan。
Live to learn and learn to live.
生而学之，学而生之。
The fire service began to wonder whether a gas might have caused the fire.
消防部门开始怀疑有一种气体可能会导致火灾。