Оцените правильность утверждения своего варианта исходя из здравого смысла (с позиции формальной логики)

С точки зрения фактов, данное утверждение ложно, поскольку розовые слоны в небе не могут летать. Если отвлечься от фактической стороны и рассматривать утверждение с позиции формальной логики, то утверждение также будет не верным. Хотя заявленное в первом суждении условие не выполняется, из этого не следует, что и следствие не выполняется. Может быть такая ситуация, что нельзя ходить по улице без зонтика по какой-то другой причине, даже если розовые слоны уже не летают в небе . Например, если дождь идет.
Формализация умозаключения:
Обозначим простые суждения, входящие в состав сложного символами:
p – в небе летают розовые слоны.
q - нельзя ходить по улице без зонтика.
Первая суждение: p→q
Второе суждение: ¬p
Вывод: ¬q
252412519812000Полна формула умозаключения: p→q, ¬p
¬q
По виду данное умозаключение является условно-категорическим, неправильный отрицающий модус от основания к следствию