逻辑推理

真假话、人物—属性对应类推理：列表整理条件，用假设检验与排除法逐步确定唯一解。