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