Hypothetical inference and category structure