Undead Results

Recall
- All characters are alive or have been buried
- Alive characters need words and placement
- Dead (not alive) characters need no words but need placement
- Alan is alive
- Désirée, who is dead and buried
- Umberto, who is undead (alive and not alive)
- Nigel, who has not appeared
TPTP syntax
For FOL and Ł3 Umberto is a contradiction
Set him only not alive for FOL' and Ł3' in results

#	Question	FOL'	Ł3'	RM3	A3	Łuk	cmi
						FDE^→
1	Does Désirée need words? (NO)	NO	NO	NO	NO	NO	NO
2	Is Nigel alive or not alive? (NO)	YES	NO	YES	YES	NO	NO
3	Does Nigel need placement? (NO)	YES	NO	YES	YES	NO	NO
4	Is Umberto both alive and not alive? (YES)	NO	NO	YES	YES	YES	YES
5	Has Umberto been buried? (NO)	YES	YES	NO	NO	NO	NO
6	Was Désirée buried because she is not alive? (YES)	YES	YES	NO	YES	NO	YES