Goal II
Write a program to deduce a solution
Fun. Interesting.
Not always possible.
What does "deduce" mean?
Is making a guess and then
evaluating the consequences
a form of deduction?
Others say "rules", not "deductions"