( ∧¬ ∧ ) ⇒

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