( ) ⇒ ¬

The converse ( ¬ ⇒ ( )) does not hold, as witnessed by
Id Name
7
8
9