三段式逻辑推理例子有哪些