Reading that, I believe his reason for endorsing #4 is that he made the assumption that neither of their claims relies on any evidence relied on by the other. If we assume this, I agree that #4 is the right answer, but I do not think that is a valid assumption.
I’m GreedyAlgorithm, and here is some more discussion: https://rhollerith3.jottit.com/
Hal Finney’s answer here which Richard Hollerith seems to endorse is #4.
Reading that, I believe his reason for endorsing #4 is that he made the assumption that neither of their claims relies on any evidence relied on by the other. If we assume this, I agree that #4 is the right answer, but I do not think that is a valid assumption.