Theoremproving system
[计] 定理证明系统
🧩 词语组成解析
[计] 定理证明
🗣️ 情景例句
After sending investigators to the scene we can now confirm that it was the result of an accidental fire.
在派出调查人员到现场后，我们现在可以确定事故是由意外失火导致的。
If you dance you must pay the fiddler.
要想寻欢作乐，代价非付不可。
Nobody! She taught herself.
没有人（教）！她是自学的。