Reasoning without Contradiction