Inference from Contradiction