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

Обозначим простые суждения: «Все многодетные семьи могут быть семьями, многодетность в которых запланирована (p), или образовавшиеся в результате второго и последующих браков (q), или неблагополучные многодетные семьи (r) . Данная семья не является неблагополучной (¬r), следовательно, она является образовавшейся в результате второго и последующих браков (q)».
Схема:
р q r, ¬r
q
Модус РКС: отрицающе-утверждающий (tollendo ponens).
Вывод неправильный