Мент, какие сомнения?
Я исхожу из того, что все мафы и ман не являются городом и незаражаемые.
Еще незаражаемой точно является Клара, потому третьим вопросом мы отсекаем ее от остальных нехорошек.
Вместе с тем опрос находит мана. Потому что у него на третий вопрос правдой является да, а разумеется всем мирным мы говорим врать в ответе на третий вопрос. То есть прямо говорим, жирным шрифтом и покрупнее. Не прикидываем, какие там опции, а четко говорим мирам врать только на третий вопрос.
То есть все миры кроме клары отвечают да да да*.
Клара: да да нет*.
ман может ответить:
Да* нет да, нет Да* да, нет нет нет*
маф может ответить:
Да* нет нет, нет да* нет, нет нет нет*

Собственно, точная градация город/не город. Маф может спалится мафом или прикинутся маном, очевидно выберет второе.
Ман может спалится маном или сохранить неопределенность ман/маф, хотя мафы все равно узнают правду.