not ((X - 3) (X - 6) <= 0 || Abs[X - 4] > 3)