Honey, I Shrunk the Hypothesis Space (Through Logical Preprocessing) (JAIR, 2026)