1. Все бабы — дуры.
2. Все мужики — козлы.

Допустим, что 1 утверждение — верно.

Тогда бабы–дуры утверждают, что мужики — козлы. Но раз по условиям утверждения они дуры, тоэто не так, => мужики норм., а бабы — дуры.

Допустим, что 1 утверждение — неверно.

Тогда бабы — не дуры. => Мужики козлы. Но тогда умные бабы живут с козлами, т.е. бабы = дуры => мужики не козлы, а норм., а бабы — дуры.