Anne is blue. Anne is green. Anne is red. Anne is smart. Anne is white. Erin is blue. Erin is red. Erin is smart. Fiona is blue. Fiona is red. Fiona is smart. Fiona is white. If Anne is red and Anne is blue then Anne is quiet. Quiet people are smart. All smart, green people are blue. If someone is blue and smart then they are young. All red, young people are white. White, blue people are green. If Fiona is red and Fiona is green then Fiona is smart. If someone is young then they are quiet.
Fiona is red.
@0: Anne is blue.[(triple1 OR ((triple4 triple2) -> rule3))] Anne is green.[(triple2 OR ((triple5 triple1) -> rule6) OR ((((triple3 ((triple1 triple4) -> rule4)) -> rule5) triple1) -> rule6) OR ((((triple3 ((triple1 ((((triple3 triple1) -> rule1)) -> rule2)) -> rule4)) -> rule5) triple1) -> rule6))] Anne is red.[(triple3)] Anne is smart.[(triple4 OR ((((triple3 triple1) -> rule1)) -> rule2))] Anne is white.[(triple5 OR ((triple3 ((triple1 triple4) -> rule4)) -> rule5) OR ((triple3 ((((triple4 triple2) -> rule3) triple4) -> rule4)) -> rule5) OR ((triple3 ((triple1 ((((triple3 triple1) -> rule1)) -> rule2)) -> rule4)) -> rule5) OR ((triple3 ((((triple4 triple2) -> rule3) ((((triple3 triple1) -> rule1)) -> rule2)) -> rule4)) -> rule5))] Erin is blue.[(triple6)] Erin is red.[(triple7)] Erin is smart.[(triple8)] Fiona is blue.[(triple9)] Fiona is red.[(triple10)] Fiona is smart.[(triple11 OR ((triple10 ((triple12 triple9) -> rule6)) -> rule7))] Fiona is white.[(triple12 OR ((triple10 ((triple9 triple11) -> rule4)) -> rule5))] @1: Anne is quiet.[(((triple3 triple1) -> rule1) OR ((((triple1 triple4) -> rule4)) -> rule8) OR ((triple3 ((triple4 triple2) -> rule3)) -> rule1) OR ((((((triple4 triple2) -> rule3) triple4) -> rule4)) -> rule8))] Anne is young.[(((triple1 triple4) -> rule4) OR ((((triple4 triple2) -> rule3) triple4) -> rule4) OR ((triple1 ((((triple3 triple1) -> rule1)) -> rule2)) -> rule4) OR ((((triple4 triple2) -> rule3) ((((triple3 triple1) -> rule1)) -> rule2)) -> rule4))] Erin is young.[(((triple6 triple8) -> rule4))] Fiona is green.[(((triple12 triple9) -> rule6) OR ((((triple10 ((triple9 triple11) -> rule4)) -> rule5) triple9) -> rule6))] Fiona is young.[(((triple9 triple11) -> rule4) OR ((triple9 ((triple10 ((triple12 triple9) -> rule6)) -> rule7)) -> rule4))] @2: Erin is quiet.[(((((triple6 triple8) -> rule4)) -> rule8))] Erin is white.[(((triple7 ((triple6 triple8) -> rule4)) -> rule5))] Fiona is quiet.[(((((triple9 triple11) -> rule4)) -> rule8) OR ((((triple9 ((triple10 ((triple12 triple9) -> rule6)) -> rule7)) -> rule4)) -> rule8))] @3: Erin is green.[(((((triple7 ((triple6 triple8) -> rule4)) -> rule5) triple6) -> rule6))]