To perform a more transparent analysis of the problems raised by contrary inferences within Consistent History approach to Quantum Theory, we extend the formalism of the conceptual basis. According to our analysis, the conceptual difficulties arising from contrary inferences are ruled out.