Let H := Hollow Earth Theory is true
Let F := Flat Earth Theory is true

[apparent contradiction]
H ∧ F ⊢ ⊥

[existence of a reconciling condition]
∃C ( C → (H ∧ F) ) ∧ ¬(C → ⊥)

[synthesis]
( H ∧ F ⊢ ⊥ ) ∧ ◇∃C [ C → (H ∧ F) ∧ ¬⊥ ]

◇ = possibly · ⊥ = contradiction · ∃ = there exists

logo designed by Clare Cooper !