Adam and Eve Symbolizations.

---

translation scheme:
a: Adam
e: Eve
Ax: x is an animal
Bx: x is blond
Cx: x is a cat
Dx: x is a dog
Fx: x is furry
Px: x is a person
Qx: x purrs
Lxy: x loves y
Sxy: x is a son of y
Txy: x is tickling y

---

a) Anything furry loves Eve.
b) No cat is furry.
c) If anything loves Adam, Eve does.
d) Eve does not love anyone.
e) Nothing is furry.
f) Adam, if anyone, is blond.
g) Not all cats are furry.
h) Some cats are not furry.
i) No one is a cat.
j) No cat is a dog.
k) If something purrs, it is a cat.
l) Not everything blond is a cat.
m) A dog is not an animal. [ambiguous]
n) Not all animals are dogs.
o) Only cats purr.
p) Not only cats are furry.
q) Any dog is not a cat.
r) No blonds love Adam.
s) None but blonds love Adam.
t) Some dog is not a cat.
u) Nothing furry loves anyone.
v) Only cat lovers love dogs. [ambiguous]
w) If someone is a son of Adam, he is blond.
x) No son of Adam is a son of Eve.
y) Someone who is a son of Adam is no son of Eve. [ambiguous]
z) Each cat which loves Adam also loves Eve.
aa) Not everyone who loves Adam also loves Eve.
bb) Anyone who is tickling Eve is tickling Adam.
cc) None but those who love Adam also love Eve.