logicagent.zip (May not be up-to-date)
Sample dialogs:
Replicating Quillian's Teachable Language Comprehender
Genericizing syntactic relations
Golfers logic exercise
Questioning the case for Relational Logic
Proving Jack Loves Jill
Dialogs illustrating examples from Coursera's Introduction to Logic Notes, Chapter 9 Equality:
Co-referentiality
Substitution
Equality Elimination
Pat and Quincy
Things logicagent can't (yet) do