Do you see that, if you instead prove that `birds that aren't black = not ravens', you would reach the same argument? If you go throughout the world and examine all birds that are not ravens, and prove that none of them are black, then as a result, you can claim that `therefore, black birds are ravens'. This is called an argument by the contrapositive. ...Is that too difficult for you?"