\item Consider $\heartsuit\heartsuit\heartsuit{}p \wedge \overline{\heartsuit}\overline{\heartsuit}\overline{\heartsuit}¬p$
\item Same as $\heartsuit\heartsuit\heartsuit{}p \wedge
¬\heartsuit\heartsuit\heartsuit{}p$ and thus obviously unsatisfiable
\item Consider $\heartsuit\heartsuit\heartsuit{}p \wedge \overline{\heartsuit}\overline{\heartsuit}\overline{\heartsuit}¬p$
\item Same as $\heartsuit\heartsuit\heartsuit{}p \wedge
¬\heartsuit\heartsuit\heartsuit{}p$ and thus obviously unsatisfiable