>Вообще, в поддавках возможность атаки подразумевает обязательную атаку, т.е., что-то типа "если найден маф, то мирные должны казнить его". Но как это сделать? Хмн.
Проблема в том, что смысла нет. Во-первых мы не знаем правильно ли нашли мафа, поэтому казнить по этой логике не обязаны.
А во-вторых

Имеем противоречие-с. Мы-то разгадываем улику чтобы не убить по ней. И если мы её разгадали, мафия проиграла.