 This example seems like a paradigm case of one coming to know/justifiably believe an a priori proposition a posteriori. So, with the distinction between an a priori proposition—a proposition amenable to a priori justification—and a priori justification/knowledge in place, one might be tempted to reject  premise 5.