Right @nye8870, if you just stick a not in the second clause of the dog tail example it's not exactly the negation. Negating the second clause "then you have a tail" would be "then you may not have a tail" or "then you do not necessarily have a tail."