Табличным способом обоснуйте правильность вывода

Зададим переменные простым суждениям: «Если Иванов является участником преступления (р), то он знал потерпевшего (q). Иванов не знал потерпевшего (¬q), но знал его жену (r). Потерпевший знал Иванова (s) . Следовательно, Иванов – преступник (р)».
Символическая запись: ((p → q) ¬q r s) → р.
Таблица истинности:
р q r s q ((p → q) ¬q r s) → р
и и и и л и л л л и
и и и л л и л л л и
и и л и л и л л л и
и и л л л и л л л и
и л и и и л л л л и
и л и л и л л л л и
и л л и и л л л л и
и л л л и л л л л и
л и и и л и л л л и
л и и л л и л л л и
л и л и л и л л л и
л и л л л и л л л и
л л и и и и и и и л
л л и л и и и и л и
л л л и и и и л л и
л л л л и и и л л и
Умозаключение не правильное, содержит противоречие, формула случайная (принимает оба значения).