三段論法例子