∀ (x x_1 : Lean.Grind.IntInterval),
  (∀ (a a_1 b b_1 : ℤ), x = Lean.Grind.IntInterval.co a a_1 → x_1 = Lean.Grind.IntInterval.co b b_1 → False) →
    (∀ (a b : ℤ), x = Lean.Grind.IntInterval.ci a → x_1 = Lean.Grind.IntInterval.ci b → False) →
      (∀ (a b : ℤ), x = Lean.Grind.IntInterval.io a → x_1 = Lean.Grind.IntInterval.io b → False) →
        (x = Lean.Grind.IntInterval.ii → x_1 = Lean.Grind.IntInterval.ii → False) → (x == x_1) = false