Проверьте логическую правильность следующего силлогизма

Из раздела логики «сложные суждения» известно, что дизъюнктивные суждения являются сложными. Однако кроме дизъюнктивных есть и другие сложные суждения – конъюнктивное, эквивалентное, условное.
Формальную ошибку видно из схематической записи рассуждения.
Выделим в силлогизме простые суждения и обозначим их символами .
p - Суждение является простым.
q - Суждение является сложным.
r - Суждение является дизъюнктивным.
s - Суждение является конъюнктивным
t - Суждение является эквиваленцией
f - Суждение является условным
p˅q, ¬r, (q=r+s+t+f )→(¬r≠¬q)
4514852222500?p
Из данной схемы видно, что из данных посылок заключение не следует с необходимостью