线性演绎

linear deduction