推論
すいろん inference deduction