Deduce is an artificial intelligence program that performs logical deduction on input you provide it.

Deduce lives and breathes on the information it's provided. Deduce calls these individual bits of data facts. To explain how Deduce is able to reason, we'll start with some simple examples and work our way up from there. Suppose we enter the fact, "Spot is a dog." Deduce begins by breaking down the sentence into its components.