Anyway, not sure if we're on the same page, but thanks for the discussion.
Anyway, not sure if we're on the same page, but thanks for the discussion.
In particular 1 consists of exact statements about the likelihood of 7 births in a row being mmmmmmf.
By contrast 3 consists of statements about what Bill and Lorena's childbearing plans would have been if something different had happened.
Those are very different types of statement. There is no connection between statements of type 3 and statements of type 1 unless Bill and Lorena's state of mind makes a significant difference to the odds of the next child being a boy.
For Bayes' theorem, we need a theory of how the data is produced given the parameter of interest. Bill and Lorena's plans certainly influence what data I observe: in scenario two, I can never observe the data BBBBGGG, but in scenario one, I can. My point is that your first category is not "exact statements about the likelihood of 7 births in a row being mmmmmmmf", it is "exact statements about the likelihood of observing mmmmmmf", which is, in fact, quite different, if you admit the possibility of Bill and Lorena having particular childbearing plans.
You certainly DON'T wind up with anything like the factor of 8 difference that frequentist techniques will see!