Charlie is green. Charlie is kind. Charlie is round. Charlie is white. Charlie is young. Erin is cold. Erin is not green. Erin is kind. Erin is white. Erin is young. Gary is not green. Gary is white. Gary is young. Harry is green. Harry is young. If Erin is white then Erin is kind. All green people are kind. Round, cold people are white. If Gary is cold and Gary is green then Gary is white. Young people are cold. If someone is cold then they are round. If someone is kind and not young then they are green. If Harry is young and Harry is green then Harry is blue.
Harry is white.
@0: Charlie is green.[(triple1)] Charlie is kind.[(triple2 OR ((triple1) -> rule2))] Charlie is round.[(triple3 OR ((((triple5) -> rule5)) -> rule6))] Charlie is white.[(triple4 OR ((triple3 ((triple5) -> rule5)) -> rule3) OR ((((((triple5) -> rule5)) -> rule6) ((triple5) -> rule5)) -> rule3))] Charlie is young.[(triple5)] Erin is cold.[(triple6 OR ((triple10) -> rule5))] Erin is kind.[(triple8 OR ((triple9) -> rule1) OR ((((((triple6) -> rule6) triple6) -> rule3)) -> rule1) OR ((((((triple6) -> rule6) ((triple10) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple10) -> rule5)) -> rule6) triple6) -> rule3)) -> rule1) OR ((((((((triple10) -> rule5)) -> rule6) ((triple10) -> rule5)) -> rule3)) -> rule1))] Erin is not green.[(triple7)] Erin is white.[(triple9 OR ((((triple6) -> rule6) triple6) -> rule3) OR ((((triple6) -> rule6) ((triple10) -> rule5)) -> rule3) OR ((((((triple10) -> rule5)) -> rule6) triple6) -> rule3) OR ((((((triple10) -> rule5)) -> rule6) ((triple10) -> rule5)) -> rule3))] Erin is young.[(triple10)] Gary is not green.[(triple11)] Gary is white.[(triple12 OR ((((((triple13) -> rule5)) -> rule6) ((triple13) -> rule5)) -> rule3))] Gary is young.[(triple13)] Harry is green.[(triple14)] Harry is young.[(triple15)] @1: Charlie is cold.[(((triple5) -> rule5))] Erin is round.[(((triple6) -> rule6) OR ((((triple10) -> rule5)) -> rule6))] Gary is cold.[(((triple13) -> rule5))] Harry is blue.[(((triple15 triple14) -> rule8))] Harry is cold.[(((triple15) -> rule5))] Harry is kind.[(((triple14) -> rule2))] @2: Gary is round.[(((((triple13) -> rule5)) -> rule6))] Harry is round.[(((((triple15) -> rule5)) -> rule6))] @3: Harry is white.[(((((((triple15) -> rule5)) -> rule6) ((triple15) -> rule5)) -> rule3))]