同様に、formula_10、formula_16の節形式formula_17、formula_18による三段論法は以下のようになる。