If x implies y and x is not true then y may not be true