From LOJBAN%CUVMB.BITNET@uga.cc.uga.edu Thu Dec 15 07:13:27 1994
Received: from uga.cc.uga.edu by nfs1.digex.net with SMTP id AA10089
  (5.67b8/IDA-1.5 for <lojbab@ACCESS.DIGEX.NET>); Thu, 15 Dec 1994 07:13:24 -0500
Message-Id: <199412151213.AA10089@nfs1.digex.net>
Received: from UGA.CC.UGA.EDU by uga.cc.uga.edu (IBM VM SMTP V2R2)
   with BSMTP id 5491; Thu, 15 Dec 94 07:13:13 EST
Received: from UGA.CC.UGA.EDU (NJE origin LISTSERV@UGA) by UGA.CC.UGA.EDU (LMail V1.2a/1.8a) with BSMTP id 9199; Thu, 15 Dec 1994 07:12:56 -0500
Date:         Thu, 15 Dec 1994 12:51:06 +0100
Reply-To: rricci@vaxrma.cern.ch
Sender: Lojban list <LOJBAN@CUVMB.BITNET>
From: Roberto Ricci <rricci@vaxrma.cern.ch>
Subject:      TEXT: la santaKLA,us. cu zasti
To: Bob LeChevalier <lojbab@access.digex.net>
Status: RO

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.