(Authors note - each variable must have the same number of values.) Facts: Use this page to define the known facts.
Facts are true statements may be of positive form "John has red hair" or negative form "Mary is not the one who is 13." When generating rules, it is helpful to select a reference number from the dropdown list at the top of the page.
For tips on how to use this grid, click on the Solving Tips button or follow the Solving Tips page link found on the main puzzle page.
Below each column of the table is a list of the variables that may be entered into that column. Only the items directly underneath the column may be entered into that particular column.
These may be of two forms: Order rules; "John is older than Mary" or "Pete is one year younger than John.". Here we know the "distance" between two values but not the direction: "Mary and John were born two years apart".
If Rules: These are rules that specify relationships that are conditionally true (or false) based on the truth (or falsity) of some other relationship.
In the example above we have variables Name, Hair, and Age with three values of each.
The one-to-one requirement means there there cannot be two 13 year olds, none of the kids can be bald, etc.
(Note to authors - reference paragraphs must begin with a number and be preceded by a blank line.)Variables: Defines the variables based on information in the description.
Each variable definition consists of the variable name followed by variable values, all separated by commas.