列表法解决朴素逻辑问题