FILTER:
More restrictive range:
X > 7 AND X > 10 -> X > 10
Equality and range predicate on same tuple:
X > 7 AND X = 12 -> X = 12
Impossible to satisfy condition:
X > 7 AND X < 4 -> False