5.1 较复杂的逻辑推理