Let O1, O2,...., On be observations 1 through n
Let Ci be Conclusion i
Suppose (O1, O2, .... , On |- Ci ) where Ci is a conclusion derived from some set of observations.
By the laws of logic, we can now use Ci as an observation
We know that observations cannot be inconsistent with each other...