( ∧ ∧ ) ⇒ ¬

The converse ( ¬ ⇒ ( ∧ ∧ )) does not hold, as witnessed by
Id Name
1103