% lab1and.pl: Record the facts and rule as in Example 1