If our prior for A is very low, then that implies that our estimate of P(S|notA) must be also be high, given that we do in fact observe the bible
What? That’s an argument for P(S|¬A∧S) being high, not an argument for P(S|¬A) being high.
What? That’s an argument for P(S|¬A∧S) being high, not an argument for P(S|¬A) being high.