Anne is green. Fiona is cold. Fiona is white. Fiona is young. Gary is green. Harry is cold. Harry is rough. All young, cold things are white. If something is cold then it is green. Young things are white. White things are blue. If something is blue then it is red. If something is green then it is young.
Harry is young.
@0: Anne is green.[(triple1)] Fiona is cold.[(triple2)] Fiona is white.[(triple3 OR ((triple4) -> rule3) OR ((triple4 triple2) -> rule1) OR ((((((triple2) -> rule2)) -> rule6)) -> rule3) OR ((((((triple2) -> rule2)) -> rule6) triple2) -> rule1))] Fiona is young.[(triple4 OR ((((triple2) -> rule2)) -> rule6))] Gary is green.[(triple5)] Harry is cold.[(triple6)] Harry is rough.[(triple7)] @1: Anne is young.[(((triple1) -> rule6))] Fiona is blue.[(((triple3) -> rule4) OR ((((triple4) -> rule3)) -> rule4) OR ((((triple4 triple2) -> rule1)) -> rule4) OR ((((((((triple2) -> rule2)) -> rule6)) -> rule3)) -> rule4) OR ((((((((triple2) -> rule2)) -> rule6) triple2) -> rule1)) -> rule4))] Fiona is green.[(((triple2) -> rule2))] Gary is young.[(((triple5) -> rule6))] Harry is green.[(((triple6) -> rule2))] @2: Anne is white.[(((((triple1) -> rule6)) -> rule3))] Fiona is red.[(((((triple3) -> rule4)) -> rule5) OR ((((((triple4) -> rule3)) -> rule4)) -> rule5) OR ((((((triple4 triple2) -> rule1)) -> rule4)) -> rule5) OR ((((((((((triple2) -> rule2)) -> rule6)) -> rule3)) -> rule4)) -> rule5) OR ((((((((((triple2) -> rule2)) -> rule6) triple2) -> rule1)) -> rule4)) -> rule5))] Gary is white.[(((((triple5) -> rule6)) -> rule3))] Harry is young.[(((((triple6) -> rule2)) -> rule6))] @3: Anne is blue.[(((((((triple1) -> rule6)) -> rule3)) -> rule4))] Gary is blue.[(((((((triple5) -> rule6)) -> rule3)) -> rule4))] Harry is white.[(((((((triple6) -> rule2)) -> rule6)) -> rule3) OR ((((((triple6) -> rule2)) -> rule6) triple6) -> rule1))] @4: Anne is red.[(((((((((triple1) -> rule6)) -> rule3)) -> rule4)) -> rule5))] Gary is red.[(((((((((triple5) -> rule6)) -> rule3)) -> rule4)) -> rule5))] Harry is blue.[(((((((((triple6) -> rule2)) -> rule6)) -> rule3)) -> rule4) OR ((((((((triple6) -> rule2)) -> rule6) triple6) -> rule1)) -> rule4))] @5: Harry is red.[(((((((((((triple6) -> rule2)) -> rule6)) -> rule3)) -> rule4)) -> rule5) OR ((((((((((triple6) -> rule2)) -> rule6) triple6) -> rule1)) -> rule4)) -> rule5))]