It would be interesting to see a comparison to Dodgson Logic Here is a reference: http://www.gutenberg.org/ebooks/4763