Comment by chx

It indeed lies on very solid reasoning: a probabilistic predictor doesn't deal in facts. You'd need CyC for that.