\item \self $p \imp q \land \neg r, r \imp s \lor \neg q \ent p \imp \neg s$