Date: Thu, 15 Dec 1994 12:51:06 +0100
From: Roberto Ricci <rricci@VAXRMA.CERN.CH>
Subject: TEXT: la santaKLA,us. cu zasti
Sender: Lojban list <LOJBAN@CUVMB.BITNET>
To: Veijo Vilva <veion@XIRON.PC.HELSINKI.FI>
Reply-to: rricci@VAXRMA.CERN.CH
Message-id: <01HKO7D8MN0Y0008EA@FIPORT.FUNET.FI>
Content-transfer-encoding: 7BIT
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Content-Length: 1836
Lines: 47

I've attempted a translation of an amuzing pseudological proof of the
existence of Santa Claus - very Lojbanic, indeed! :)
It's full of parsing errors but I cannot do better than this at the
moment... :(  At my partial discharge, I can say that the text is very
tricky. I expect you'll help to fix all the bugs.
 
----------------------------------------------------------------------------
daxisy. poi du'u tu'e daxisy. cu jetnu .inaja la santaKLA,us. cu zasti
tu'u zo'u ru'a daxisy. cu jetnu
.iseni'ibo lu daxisy. cu jetnu .inaja la santaKLA,us. cu zasti li'u
cu jetnu
.i di'u cu nibli ledu'u tu'e daxisy. cu jetnu .inaja la santaKLA,us.
cu zasti tu'u
.i ledu'u daxisy. cu jetnu kei ru'a joi di'u cu nibli ledu'u
la santaKLA,us. cu zasti
.i mi cu logji jarco ledu'u tu'e daxisy. cu jetnu .inaja
la santaKLA,us. cu zasti tu'u kei goi ko'a
.i ko'a cu nibli ledu'u lu daxisy. cu jetnu .inaja la santaKLA,us.
cu zasti li'u cu jetnu
.iseni'ibo daxisy. cu jetnu
.i ko'a joi di'u cu zukte nibli ledu'u la santaKLA,us. cu zasti
-----------------------------------------------------------------------------
 
The original "theorem" follows:
 
-----------------------------------------------------------------------------
Let S be the sentence, "If S is true, Santa exists."
Assume:
        1) S is true.
Then by identity:
        2) "If S is true, Santa exists" is true.
>From 2) we derive:
        3) If S is true, Santa exists.
Putting 1) and 3) together, we get:
        4) Santa exists.
Having deduced 4) from 1), we have shown:
        5) If S is true, Santa exists.
>From 5) we obtain:
        6) "If S is true, Santa exists" is true.
And by identity again we have:
        7) S is true.
>From 5) and 7) we conclude:
        8) Santa exists.
-----------------------------------------------------------------------------
 
co'o mi'e rob.