Proofgold Term Root Disambiguation

∀ x0 . x0 ∈ u6 ⟶ ∀ x1 . x1 ∈ u6 ⟶ ∀ x2 . x2 ∈ u6 ⟶ ∀ x3 . x3 ∈ u6 ⟶ ∀ x4 . x4 ∈ u6 ⟶ ∀ x5 . x5 ∈ u6 ⟶ ∀ x6 . x6 ∈ u6 ⟶ ∀ x7 . x7 ∈ u6 ⟶ TwoRamseyGraph_4_6_35_b x0 x1 x2 x3 ⟶ TwoRamseyGraph_4_6_35_b x0 x1 x4 x5 ⟶ TwoRamseyGraph_4_6_35_b x0 x1 x6 x7 ⟶ TwoRamseyGraph_4_6_35_b x2 x3 x4 x5 ⟶ TwoRamseyGraph_4_6_35_b x2 x3 x6 x7 ⟶ TwoRamseyGraph_4_6_35_b x4 x5 x6 x7 ⟶ False

as obj
-

as prop
1f9f5..

theory
HotG

stx
a31cf..

address
TMQ1T..