Added InferenceEngine class, added fact type (conclusive answer vs.
intermediate knowledge) to Fact model