Являются ли правильными следующие рассуждения

Если философ — дуалист (p), то он не материалист (q).
Если он не материалист (q), то он диалектик (r) или метафизик (s).
Он не метафизик (s).
Следовательно, он диалектик (r) или дуалист (p).
Символическая запись: ((р q) & (q (r s)) & s) (r р).
Таблица истинности:
Порядок действий 1 4 3 2 5 7 6
p q r s s ((р q) & (q (r s)) & s) (r р)
и и и и л и и и и л и и
и и и л и и и и и и и и
и и л и л и и и и л и и
и и л л и и л л л л и и
и л и и л л л и и л и и
и л и л и л л и и л и и
и л л и л л л и и л и и
и л л л и л л и л л и и
л и и и л и и и и л и и
л и и л и и и и и и и и
л и л и л и и и и л и л
л и л л и и л л л л и л
л л и и л и и и и л и и
л л и л и и и и и и и и
л л л и л и и и и л и л
л л л л и и и и л и л л
Рассуждение не является правильным, так как его формула принимает разные значения.