Anne is green. Anne is red. Anne is smart. Anne is white. Erin is cold. Erin is green. Erin is quiet. Erin is red. Erin is young. Fiona is red. Fiona is smart. Fiona is white. Fiona is young. Gary is cold. Gary is quiet. Smart, quiet things are white. If something is white then it is red. Quiet things are smart. White, red things are smart. All green things are white. If something is quiet and smart then it is young.
Fiona is green.
@0: Anne is green.[(triple1)] Anne is red.[(triple2 OR ((triple4) -> rule2) OR ((((triple1) -> rule5)) -> rule2))] Anne is smart.[(triple3 OR ((triple4 triple2) -> rule4) OR ((triple4 ((triple4) -> rule2)) -> rule4) OR ((((triple1) -> rule5) triple2) -> rule4) OR ((((triple1) -> rule5) ((triple4) -> rule2)) -> rule4) OR ((triple4 ((((triple1) -> rule5)) -> rule2)) -> rule4) OR ((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule2)) -> rule4))] Anne is white.[(triple4 OR ((triple1) -> rule5))] Erin is cold.[(triple5)] Erin is green.[(triple6)] Erin is quiet.[(triple7)] Erin is red.[(triple8 OR ((((triple6) -> rule5)) -> rule2) OR ((((((triple7) -> rule3) triple7) -> rule1)) -> rule2))] Erin is young.[(triple9 OR ((triple7 ((triple7) -> rule3)) -> rule6) OR ((triple7 ((((triple6) -> rule5) triple8) -> rule4)) -> rule6) OR ((triple7 ((((triple6) -> rule5) ((((triple6) -> rule5)) -> rule2)) -> rule4)) -> rule6))] Fiona is red.[(triple10 OR ((triple12) -> rule2))] Fiona is smart.[(triple11 OR ((triple12 triple10) -> rule4) OR ((triple12 ((triple12) -> rule2)) -> rule4))] Fiona is white.[(triple12)] Fiona is young.[(triple13)] Gary is cold.[(triple14)] Gary is quiet.[(triple15)] @1: Erin is smart.[(((triple7) -> rule3) OR ((((triple6) -> rule5) triple8) -> rule4) OR ((((triple6) -> rule5) ((((triple6) -> rule5)) -> rule2)) -> rule4))] Erin is white.[(((triple6) -> rule5) OR ((((triple7) -> rule3) triple7) -> rule1))] Gary is smart.[(((triple15) -> rule3))] @2: Gary is white.[(((((triple15) -> rule3) triple15) -> rule1))] Gary is young.[(((triple15 ((triple15) -> rule3)) -> rule6))] @3: Gary is red.[(((((((triple15) -> rule3) triple15) -> rule1)) -> rule2))]