If people in this midwest town regularly ride horses for pleasure and sport, then they do not live in cramped residential buildings.
∀x (InThisMidwestTown(x) ∧ RegularlyRideHorseForPleasure(x) → ¬LiveIn(x, crampedBuilding))