選言三段論法
別の例