Contradiction

The two propositions are mutually exclusive truths and genuinely conflict. This is the conservative default classification.