Reasoning in the Presence of Contradiction