НГУ

Есть сорит:

Девушки не любят, когда с ними спорят.
Девушки не могут быть философами.
Поэтому некоторые девушки никогда не ошибаются.

Нужно:
Проверить логическую корректность на круговых схемах. Для сорита предварительно реконструируйте опущенные промежуточные шаги рассуждения.

Конкретно это задание, из множества других, вызвало затруднение.
Пока единственный вариант, который пришёл в голову:

Кто не любит, чтобы с ним спорили – иногда ошибаются. Некоторые А суть В.
Девушки не любят, когда с ними спорят. Все С суть А.
Девушки не могут быть философами. Все С суть D.
Философы иногда ошибаются. Некоторые D суть В.
Поэтому некоторые девушки никогда не ошибаются. Некоторые С суть В.

и внизу круговая схема.

Но что-то решение мне не нравится и кажется ошибочным........