 Fourthly, all three assumptions, interpreted as Rowe does, are surely eminently reasonable.  As regards (1), it follows from the fact that for any two propositions \(q\) and \(r\), if \(q\) entails \(r\) then \(\Pr(r \mid q) = 1\), together with the fact  that Rowe interprets \(P\) in such a way that \(\negt G\) entails \(P\), since he interprets \(P\) as saying that it is not the case that there is an omnipotent, omniscient, and perfectly good being together with some known good that justifies that being in allowing \(E_1\) and \(E_2\).