Honey, I Shrunk the Hypothesis Space (Through Logical Preprocessing) (Journal of Artificial Intelligence Research (JAIR), 2026)