演绎 yǎnyì HSK7 deduce Origin Definitions Defs Strokes Stroke Words Sentences Sents 演绎法 yǎnyìfǎ deduction deductive reasoning