解析：第一步：翻译题干。吸烟者→—入内。“他们都是不抽烟的”是事实信息。第二步：由事实信息推理得出结论。他们都是不抽烟的，属否前；由逆否规则推论可知，无法推出绝对化结论，但可推出可能性结论，即可能入内，也可  [完整解析请在题库中查看]