_______ \/ x - 5 > x - 7
sqrt(x - 5) > x - 7
And(5 <= x, x < 9)
(5 <= x)∧(x < 9)
[5, 9)
x in Interval.Ropen(5, 9)