( ) ⇒ ¬

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