已知甲、乙、丙、丁，四个人，他们分别来自名古屋、横滨、神户、札幌，已知：
1：甲不来自名古屋跟横滨
2：乙不来自名古屋跟横滨
3：丙不来自名古屋跟神户
4：如果丁来自名古屋，则甲来自神户
那麼他们四个人分别来自哪一个城市呢？
答案：
解析：
【O省迷案 72】——猜科目
0省已经开始实行新高考了，模式为六选三，具体来说是语数外（本题不考虑外语选择）必考，在物理和历史（文理老大哥）中选一门，剩下的任选两门。
已知F高中:
1.创新班必选理+化，第三科必须不相同
2.一共有16个班，1，2，3班为创新班
3.4～9班选了物理，10～16选了历史
4.丝妤和奈晴都在创新一班
5.5班和6班选课相同，为物生政，与创新二、三班仅有一科不同
问:奈晴和丝妤选了什么？是否有一条为多余条件？
答案：
解析：
