theorem god_exists_in_reality
theorem god_exists_in_reality
(i : FoolUnderstandsTheWords)
(ii : WhateverIsUnderstoodExistsInTheUnderstanding)
(iii_bridge : ExistsInUnderstandingBridge)
⋯6 more premises
: GodExistsInReality