Предлагаю такой алгоритм.
Сегодня сажать все равно Майора, потому что иначе появится новая Тварь. Мафы знают, их МиниДи или нет. Если нет, то проверяют, Замок ли он (собственно, есть лишь одна альтернатива - Крейг). Ростовщик сравнивает статус Винтер/Рины с тем, у кого гарантированно белый чек и кому город полностью доверяет. Тогда мы поймем статус обеих. Ну а дальше мафы должны поделиться информацией - Замок ли МиниДи, их ли Рина/Винтер или нет (если нет, то только Замок). Так на следующем ходу мы вычислим ЧЗ.
Если же МиниДи маф, они сразу проверят Рину/Винтер.