Deduce will let a user enter information as plain English sentences and
then ask yes/no questions about it.  Deduce will be able to determine
the answers to the questions through deductive reasoning.

eg

Spot is a dog
A dog is an animal
Is spot an animal?

Yes

----------------------------------------------------------------------
Changes since 1.21
----------------------------------------------------------------------

version 1.22 (bugfix)
  * Fixed that enforcer hit.  See up on changes for version 1.20 where
    it says "Fixed a bug that caused segmentation faults on a Sun
    Sparc Station" ?  Well, that code somehow got lost and wasn't
    included in the Amiga version.  And when I upgraded to SAS/C, it
    DID start causing problems. (Thanks Stefan Dube and Simon Stelling)
  * Fixed another problem with negative logic.  Consider the following:
      a dog will eat dog_food
      a cat is not a dog
      will a cat eat dog_food?
    Deduce would answer yes.  This has been fixed. (Thanks Stefan Dube)
  * Deduce no longer prints the blank lines in its output. (suggested by
    Simon Stelling)

 PERMSSN    UID  GID    PACKED    SIZE  RATIO     CRC       STAMP          NAME
---------- ----------- ------- ------- ------ ---------- ------------ -------------
[generic]                  678    1233  55.0% -lh5- 765e Jun  7  1993 Deduce.info
[generic]                14346   24980  57.4% -lh5- 7aac Jun  7  1993 Deduce/Deduce
[generic]                    7       7 100.0% -lh0- 7c3d Mar 17  1995 Deduce/Deduce!
[generic]                  580    1572  36.9% -lh5- 9b3d Mar 17  1995 Deduce/Deduce!.info
[generic]                 5699   14879  38.3% -lh5- 3853 Jun  7  1993 Deduce/Deduce.doc
[generic]                  579    1499  38.6% -lh5- eec6 Mar 17  1995 Deduce/Deduce.doc.info
[generic]                 5804   14484  40.1% -lh5- 31e4 Jun  7  1993 Deduce/Deduce.guide
[generic]                 1600    5129  31.2% -lh5- 25c1 Mar 17  1995 Deduce/Deduce.guide.info
[generic]                28530   43628  65.4% -lh5- 5698 Mar 17  1995 Deduce/reqtools.library
[generic]                  157     338  46.4% -lh5- e26f Mar 17  1995 Deduce/Sample
---------- ----------- ------- ------- ------ ---------- ------------ -------------
 Total        10 files   57980  107749  53.8%            Apr 14  1995