Deduce is an artificial intelligence program which
accepts natural language sentences as input.
These sentences describe properties and
relationships between objects, (for example, "Spot
is a dog", "A liquid will evaporate", or "Water
does not flow uphill"). The user can then ask
questions against that input, to which Deduce will
attempt to answer using deductive reasoning
techniques.