PanLinx
普通话
cmn-000
间接证法
English
eng-000
indirect demonstration
PanLex