gnosia，十五人局，3狼，有工程师、医生、留舰者、AC，
第一天，希皮、史黛拉、库库西卡跳医生，柯梅特、夕里子跳工程师，SQ被票，拉齐奥留舰者被刀；
第二天，希皮、库库西卡验SQ是人，史黛拉验SQ是狼，柯梅特验玩家是人，夕里子验重道是人，票库库西卡，乔纳斯被刀；
第三天，希皮验库库西卡是狼，史黛拉验库库西卡是人，柯梅特验乙女是人，夕里子验沙明是人，票史黛拉，希皮被刀；
第四天，柯梅特验夕里子是狼，夕里子验玩家是狼，这时此人必定是人类亮了，乙女必定是人类，这是为什么？
第四天夕里子被票、雷木楠留舰者被刀；
第五天，柯梅特验赛思是人，我能对赛思用必定是人类是为什么？票出吉娜游戏结束。
结果，库库西卡、夕里子、吉娜是狼，史黛拉是AC；
第四天不能对柯梅特用必定是人类，不能对夕里子用必定是敌人，没有人对玩家用必定是人类，第五天也不能对柯梅特用必定是人类

因为总共3个狼，医生和工程师里至少有2狼，没跳神职的人里至多1狼。
夕里子验完玩家是狼后，她的视野里其他没跳神职的人不可能是狼了。
除了玩家以外，所有没跳神职的人等于自动被夕里子发了金水，他们再拿到柯梅特的金水就必定是人类了。

第四天的乙女：夕里子视角的狼坑是【科梅特、医生中的一人以及玩家】狼坑三人已经满了，如果夕里子是真工程师，那没跳身份的其他乘客（包括乙女）都是人类；如果科梅特是真工程师，乙女是人，工程师是第一天跳的里面必有一人是真工程师，所以乙女必是人类

乙女必定是人类，如果夕里子是工程师，夕里子验玩家是狼，对跳的柯梅特是狼或AC，已知库库西卡一狼已死，史黛拉是狼或AC也死了，所以狼坑已满，乙女为人类。如果柯梅特为工程师，她验的乙女为人类。综上，乙女必为人类。塞斯同理。至于无法对柯梅特或夕里子使用此人必定是xxx，是因为系统无法判定哪个确定是真工程师。以上是我个人理解。