a logical inference engine

this page is for entering a script of assertions and questions and having the questions automatically answered from the assertions. It doesn't think for you or understand English but it can prove that your conclusions follow from your premises and show, mercilessly, how you got from one to the other.

well, why not. There are many situations where provably sound and complete inference is a good thing: project proposals, essay plans, contract wordings, logic puzzles, general arguing with your mates down the pub.

you type your scripts in the infer input area then click the "run script" button. The infer section has some demo scripts, the refer section has the script syntax, and some articles about logic and logie.

if you sign-up with your email address you can name and save some scripts, your width, height & work areas are saved when you logout, and you get an email whenever the page changes. It's free to use but you can pay not to see the ads or to save more scripts.