Artificial intelligent assistant

Validate or invalidate the propositional argument Validate or invalidate the following arguments $ p\to t$ $ p \to \lnot r$ $q \to p$ $\lnot t \lor r$ $r \to t$ $\therefore \lnot p \land \lnot q \land (r \iff t) $ I could only see why it is $(r \iff t)$

**Hint:** You know $r \iff t$. What if $p$ were true?

xcX3v84RxoQ-4GxG32940ukFUIEgYdPy 215e0bc3d3a40930dc92f71a3c850fcb