Proofgold Proposition

∀ x0 x1 x2 . d7d78.. x0 x1 x2 ⟶ ∀ x3 : ο . (x0 = c4def.. ⟶ x1 = x2 ⟶ x3) ⟶ (∀ x4 x5 x6 x7 x8 . d7d78.. x4 x6 x7 ⟶ d7d78.. x5 x7 x8 ⟶ x0 = 6b90c.. x4 x5 ⟶ x1 = x6 ⟶ x2 = x8 ⟶ x3) ⟶ (x0 = c9248.. ⟶ x2 = 236c6.. ⟶ x3) ⟶ (∀ x4 x5 x6 . d7d78.. x4 x5 x6 ⟶ x0 = a6e19.. x4 ⟶ x1 = x5 ⟶ x2 = 0b8ef.. x6 ⟶ x3) ⟶ (∀ x4 x5 x6 . d7d78.. x4 x5 x6 ⟶ x0 = 2fe34.. x4 ⟶ x1 = x5 ⟶ x2 = 6c5f4.. x6 ⟶ x3) ⟶ (∀ x4 x5 x6 x7 x8 . e05e6.. x5 ⟶ d7d78.. x4 (cfc98.. x6 x7) x8 ⟶ x0 = 3e00e.. x4 x5 ⟶ x1 = cfc98.. (0b8ef.. x6) x7 ⟶ x2 = x8 ⟶ x3) ⟶ (∀ x4 x5 x6 x7 x8 . e05e6.. x4 ⟶ d7d78.. x5 (cfc98.. x6 x7) x8 ⟶ x0 = 3e00e.. x4 x5 ⟶ x1 = cfc98.. (6c5f4.. x6) x7 ⟶ x2 = x8 ⟶ x3) ⟶ (∀ x4 x5 x6 x7 x8 . d7d78.. x4 x6 x7 ⟶ d7d78.. x5 x6 x8 ⟶ x0 = f9341.. x4 x5 ⟶ x1 = x6 ⟶ x2 = cfc98.. x7 x8 ⟶ x3) ⟶ (∀ x4 x5 x6 x7 . d7d78.. x4 x5 x7 ⟶ x0 = 1fa6d.. x4 ⟶ x1 = cfc98.. x5 x6 ⟶ x2 = x7 ⟶ x3) ⟶ (∀ x4 x5 x6 x7 . d7d78.. x4 x6 x7 ⟶ x0 = 3a365.. x4 ⟶ x1 = cfc98.. x5 x6 ⟶ x2 = x7 ⟶ x3) ⟶ x3

type
prop

theory
HOAS

name
-

proof
PULLa..

Megalodon
-

proofgold address
TMP7q..

creator
2130 PrGxv../f853f..

owner
2130 PrGxv../f853f..

term root
f4200..