 There is no question that “the one proposition may be justly inferred from the other”, and that “it is always inferred”. But since their connection obviously isn’t intuitive, Hume challenges us to produce the “chain of reasoning” that takes us from propositions like (1) to propositions like (2) (EHU 4.2.16/34).