Step of Proof: Agatha Murder Puzzle (JProver)Lori2R 8,37
Inference at * 1 0 1 1 1 1 1 1 1 1 2 1 1 2 2 1 1 1 1 1 
Iof proof for Lemma Agatha Murder Puzzle (JProver)Lori2R:

.....antecedent..... NILNIL

1. Agatha hates Charles
2. Agatha hates Agatha
3. p:Person. p is richer than Agatha  The Butler hates p
4. p:Person. Agatha hates p  Charles hates p
5. p:Person. Agatha hates p  The Butler hates p
6. p:Person. p hates Agatha  p hates The Butler  p hates Charles
7. p, q:Person. p kills q  p is richer than q
8. p, q:Person. p kills q  p hates q
9. Agatha hates Agatha  The Butler hates Agatha
10. Agatha hates Charles  The Butler hates Charles
11. q:Person. The Butler kills q  The Butler is richer than q
12. q:Person. Charles kills q  Charles hates q
13. Charles kills Agatha  Charles hates Agatha
14. Charles hates Agatha
15. The Butler kills Agatha
16. The Butler is richer than Agatha
17. The Butler hates The Butler
18. The Butler hates Agatha
  Agatha hates Agatha 
latex
 by hypothesis (2) 
latex

 .

origin