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