Правильно ли построено рассуждение?

Работа некоторого автоматического устройства, имеющего механизмы p,q,r удовлетворяет условиям: если не срабатывает механизмы p или r или оба вместе, то срабатывает q. Если срабатывает p или q или оба вместе, то

не срабатывает r. Отсюда можно сделать вывод, что если срабатывает механизм r, то срабатывает и p

Однако  мало информации есть возможность, что вывод не верен. Однако  ваш вариант можно считать верным, ведь из за недостатка информации нельзя утверждать что он верен и не верен.