Search for blocks/addresses/...

Proofgold Proof

pf
Claim L0: ...
...
Claim L1: ...
...
Claim L2: ...
...
Claim L3: ...
...
Claim L4: ...
...
Let x0 of type ιιο be given.
Let x1 of type ιι be given.
Let x2 of type ιιο be given.
Let x3 of type ιιο be given.
Let x4 of type ιιι be given.
Let x5 of type ιιι be given.
Let x6 of type ιιο be given.
Let x7 of type ιι be given.
Let x8 of type ιιο be given.
Let x9 of type ιι be given.
Let x10 of type ι be given.
Let x11 of type ι be given.
Let x12 of type ιιιι be given.
Let x13 of type ιι be given.
Let x14 of type ι be given.
Let x15 of type ι be given.
Let x16 of type ι be given.
Let x17 of type ι be given.
Let x18 of type ιι be given.
Let x19 of type ιιιι be given.
Let x20 of type ιι be given.
Let x21 of type ιι be given.
Let x22 of type ιι be given.
Let x23 of type ιι be given.
Let x24 of type ιιιο be given.
Let x25 of type ιιο be given.
Let x26 of type ι be given.
Let x27 of type ιο be given.
Assume H5: ∀ x28 x29 . x27 x29(x29 = x28False)x27 x28False.
Assume H6: ∀ x28 x29 . x0 x28 x29x27 x29False.
Assume H7: ∀ x28 . x27 x28(x28 = x26False)False.
Assume H8: ∀ x28 x29 x30 . x0 x28 x29x2 x29 (x1 x30)x27 x30False.
Assume H9: ∀ x28 x29 x30 . x0 x29 x30x2 x30 (x1 x28)(x2 x29 x28False)False.
Assume H10: ∀ x28 x29 . x3 x29 x28(x2 x29 (x1 x28)False)False.
Assume H11: ∀ x28 x29 . x2 x29 (x1 x28)(x3 x29 x28False)False.
Assume H12: ∀ x28 x29 x30 . (x27 x30False)x6 x30 x28x2 x30 (x1 (x1 x28))(x27 x29False)x6 x29 x28x2 x29 (x1 (x1 x28))(x4 (x5 x30 x29) x29 = x29False)False.
Assume H13: ∀ x28 x29 . x2 x28 x29(x27 x29False)(x0 x28 x29False)False.
Assume H14: ∀ x28 x29 . x0 x29 x28(x2 x29 x28False)False.
Assume H15: ∀ x28 x29 x30 . (x27 x30False)(x27 x28False)x25 x28 x30(x27 x29False)x25 x29 x30x24 x30 x28 x29(x24 x30 x29 x28False)False.
Assume H16: ∀ x28 . (x3 x28 x28False)False.
Assume H17: ∀ x28 x29 x30 . (x27 x30False)(x27 x28False)x25 x28 x30(x27 x29False)x25 x29 x30(x24 x30 x28 x28False)False.
Assume H18: ∀ x28 x29 x30 . (x27 x30False)(x27 x28False)x25 x28 x30(x27 x29False)x25 x29 x30x28 = x29(x24 x30 x28 x29False)False.
Assume H19: ∀ x28 x29 x30 . (x27 x30False)(x27 x28False)x25 x28 x30(x27 x29False)x25 x29 x30x24 x30 x28 x29(x28 = x29False)False.
Assume H20: ∀ x28 . ...(x8 (x7 ...) ...False)False.
...