Reasoning without Contradiction (The Reasoner, 2012)