Как то так:
Если сейчас мы казним Костяка и он окажется мафом, как вы предполагаете аргатом, то на ночь ситуация у нас 2-1-1. Убивать последнего мафа троллю абсолютно не выгодно (2-0-1), поэтому он убивает мирка. Последний маф может убивать сам, в этом случае утром у нас 1-1-1 и город проигрывает, может случиться, что он убийство не совершит, тогда ситуация завтра остается 2-1-1.
Если сегодня у нас ннв (3-2-1), то все очень мутно, если казнь маньяка (3-2-0), то шансы у города на победу имеются, но тролль постарается этого не допустить.
Итак, будем отталкиваться от предпочтительного для всех варианта 2-1-1 на завтрашний день. Тут есть три варианта развития событий - казнь маньяка, казнь мафа или ннв. В случае казни тролля получается 2-1-0, и, если у города остается хоть один блокер, то мирки побеждают. Если опять казнят мафа, то остается 2-0-1, ночью тролль совершает гарантированное убийство и побеждает. В случае ннв (2-1-1) маньяку опять выгодно давить мирка (1-1-1), вне зависимости от хода мафов (0-1-1)/(1-1-1) город проигрывает.
Город может победить только при удачном стечении обстоятельств, а именно, если Костяк окажется аргатом, а ночью мафы не убьют ни одного из мирков. В любой другой ситуации маньяк побеждает/придется выбирать, кому из негативов подарить победу.