Where A = “events occur” and B= “events are prophesied” and C = “the events prophesied come true” I am saying that when the events in A= the events in B, P(A|B) < P(B) or P(A) because A ^ B entails C.
Where A = “events occur” and B= “events are prophesied” and C = “the events prophesied come true” I am saying that when the events in A= the events in B, P(A|B) < P(B) or P(A) because A ^ B entails C.