Проктора мы сажать не будем, потому что см. ниже
Я просто накидаю возможные варианты развития событий (если представить, что все устрицы уже использованы)
В игре сейчас - 1 Харрис, 5 МЖ, 3 Зеда
1. Мы линчуем Проктора
У Зедовцев проходит три килла по мирным.
Остаток - 2 МЖ, 3 Зедовца.
Победа Зедовцев
Поэтому линчевать Харриса мы не будем
2. Мы линчуем Хулигана
2.1 Харрис убивает мирного
Зед убивает 2 МЖ
Остаток - 1 Харрис, 2 МЖ, 2 Зеда.
2.1.1 Мы и Зед садим Харриса
У Зеда проходит два килла.
Остаток - 2 Зеда.
Победа Зеда
2.1.2 Мы и Харрис садим Зеда
2.1.2.1 Харрис убивает Зедовца
Остаток - 2 МЖ, Харрис
МЖ садят Харриса, победа МЖ/Харриса
2.1.2.2 Харрис убивает МЖ
Остаток - 1 Харрис, 1 МЖ, 1 Зед
По алгоритму победа Харриса (ну или Зедовца, если у нас еще будет возможность линчевать Хариса)
2.2 Харрис убивает Рэкетира
2.2.1 У Зедовцев проходит 1 килл в мирного (если исполнителем был рэкетир)
Остаток - 1 Харрис, 4 МЖ, 1 Зед (хулиган с 2 килами)
2.2.1.1 Мы линчуем Харриса
У Зедовцев проходит 2 килла
Остаток 2 МЖ, 1 Зед
Победа МЖ
2.2.1.2 Мы линчуем Зедовца
Харрис убивает МЖ
Остаток 3 МЖ, 1 Харрис
Победа МЖ/Харриса
2.2.2 У Зедовцев проходит 2 килла (если исполнителем был хулиган)
Остаток - 1 Харрис, 3 МЖ, 1 Зед (хулиган с 2 киллами)
Мы линчуем Зеда, Харрис убивает МЖ.
Остаток - 2 МЖ, 1 Харрис, победа МЖ/Харриса
Линч Харриса или МЖ приводит к победе Зеда
2.3 Харрис убивает Хулигана
У Зедовцев проходит 1 килл в МЖ
Остаток - 1 Харрис, 4 МЖ, 1 Зед (рэкетир)
Садим Харриса, садим Зеда, победа МЖ
2.4 Харрис убивает мирного, его ход совпадает с выстрелом Зеда
У Зеда проходит 1 килл
Остаток - 1 Харрис, 3 МЖ, 2 Зеда
см. п.2.1 - возможны варианты
3. Мы линчуем МЖ
3.1 Харрис убивает Зедовца, у Зедовца проходит 2 килла по МЖ
Остаток - 1 Харрис, 2 МЖ, 2 Зедовца
см. п. 2.1 - возможны варианты
3.3 Харрис убивает МЖ, у Зедовца проходит 3 килла по МЖ
Остаток - 1 Харрис, 1 МЖ, 3 Зедовца
Победа Зеда