1. A implies B

2.    Not B

Therefore not A