|x*x - 4*x + 3| + 2 < 2*|x - 1| + |x - 3|
|-4*x + x*x + 3| + 2 < |x - 3| + 2*|x - 1|
Or(And(0 < x, x < 1), And(2 < x, x < 5))
((0 < x)∧(x < 1))∨((2 < x)∧(x < 5))
(0, 1) U (2, 5)
x in Union(Interval.open(0, 1), Interval.open(2, 5))