_______ _______ \/ x - 5 + \/ 9 - x > 1
sqrt(9 - x) + sqrt(x - 5) > 1
[5, 9]
x in Interval(5, 9)
And(5 <= x, x <= 9)
(5 <= x)∧(x <= 9)