Theoremproving
[计] 定理证明
🗣️ 情景例句
No. I sold the house and the furniture,put a few personal things in an old trunk,
不。我把房子和家俱都卖了，剩下一些东西放进一个旧衣箱，
I would not waste my time pursuing that.
如果是我的话，不会将时间浪费在这里。
I have a good idea!
我有一个好主意。