Lewis Carroll Logic Problems

The original problem has 6 premisses and 10 attributes

Number	Premiss
1	Sleepy old misers are easily robbed;
2	No Jews in this street are hunch-backed;
3	All bald misers are old;
4	Old people, who are easily robbed, are poor;
5	No bald smoker can keep awake;
6	No one can be a Jew, unless he is either hunch-backed or a miser.

The universe of discourse is persons. We will use the following dictionary:

So the symbolic form of the premisses is as follows:

Premiss. There are no persons that are	Symbolic form of premiss
1. sleepy, old, misers, not easily robbed,	mkhb'
2. Jews, in this street, hunch-backed,	edc
3. not old, misers, bald,	ahk'
4. old, easily robbed, rich,	kbl
5. not sleepy, bald, smokers,	anm'
6. not misers, Jews, not hunch-backed,	ec'h'

The registry is:

Solution to be tested is edaln