Reasoning in Quantum Theory