Translating Lewis Carroll into First-Order Logic

Part I

Here is a translation example inspired by a puzzle by Lewis Carroll, author of Alice in Wonderland:

All babies are illogical.
Anyone who can manage a crocodile is not despised.
All illogical people are despised.
Therefore, no baby can manage a crocodile.

First, here is the syntax and semantics of the representation in FOPL (first-order predicate logic):

Baby(x)	:	x is a baby
Logical(x)	:	x is logical (or: x is a logical person)
Manages-Crocs(x)	:	x can manage a crocodile
Despised(x)	:	x is despised

Now, here is a translation of the above logical argument (or "syllogism"):

... before I show you, you might want to try it for yourself, so I'll put the answers in the next document!