In order to be a rock climber, one must be an athlete. One is not an athlete, therefore one is not a rock climber.

If I am drinking coffee, then I am awake.

If C--> A

If I am not awake, then I am not drinking coffee

If /A --> /C