Отмечу, что из этого можно получить, что если Дно в мафии, то Демент нет. И обратное тоже верно: если Демент в мафии, то Дно нет.