Deduce is an artificial intelligence program that performs logical deduction on input you provide it. For example, you may enter the following two statements: and then ask Deduce the question: Deduce will respond with: You can also ask it why it answered the way it did: To which Deduce will reply: