Mystery Master	Analysis of Student Logic	Member

This two-star logic puzzle has 2 noun types, 4 nouns per type and 1 link. What sets this one apart from other logic puzzles is that there are no facts, but there are 8 rules. So this puzzle really is an exercise in logic. You have to match each student with the contest they won, but because there are no facts, you will need to make assumptions. Below is the text of the puzzle.

Four students competed in math, logic, French and English contests and are wondering about the outcome. Jack thinks Paul won the logic award. Kate thinks Mary won the English award. Mary thinks Jack did not win the math title. Paul thinks Kate won the French trophy. As it turns out, the winners of the French and English contests were wrong, and the winners of the math and logic contests were right.

If each student was awarded, who won which contest?

Rules

Looking at who each student thought was or was not going to win, and how their prediction turned out depending upon what contest they won, let's look at the positive outcome for each rule. And if the student did not win in those contests, then their prediction did not turn out.

1. If Jack won the math or logic contest, then Paul won the logic contest.
2. If Kate won the math or logic contest, then Mary won the English contest.
3. If Mary won the French or English contest, then Jack won the math contest.
4. If Paul won the math or logic contest, then Kate won the French contest.

Can Jack win the logic contest? If you don't know the answer, perhaps you should not enter such a contest. If you do know the answer, then we could have used this information as a fact.

The Mystery Master program needs 10 assumptions to solve the puzzle. If you pause on each message, you will see something similar to below.

1. I assume 'O' for Jack and Math.
2. Rule 2 on mark 1, I submit 'O' for Paul and Logic.
3. Rule 8 on mark 1, I entered 'O' for Kate and French.
4. Law1a on
5. Based on rule 3. I entered 'X' for Mary and English.
6. Mark 4 violated Law 1. Mary cannot be with any Contest.

Do you see why the program complained about the 4th mark? It is because after the first 3 marks, Mary could only win the English contest. But rule 3 took that away. Fortunately, Law 1 caught this, and the program will need to undo all marks back to and including the last assumption (mark 1 in this case).

1. I assume 'O' for Jack and Logic.
2. Based on rule 2, I entered 'O' for Paul and Logic.
FIX THIS!!!