What if contradiction is true?

condition