It seems that Reduce cannot solve inequalities involving InterpolatingFunction. However, you may check the inequality numerically in the midpoint of each interval provided by RootSearch.
InterpolatingFunction
RootSearch