Definition.com
Hume's fork is the idea that everything humans know must be either a Relation of Ideas (which cannot be negated without a contradiction [all bachelors are unmarried]) or a Matter of fact (which can be negated without contradiction: [all bachelors are messy]).