Anne is blue. Anne is young. Charlie is blue. Charlie is nice. Charlie is white. Erin is rough. Gary is not green. Gary is kind. Gary is nice. Gary is rough. Gary is not young. White, young things are kind. If Gary is kind and Gary is green then Gary is young. If Erin is white and Erin is nice then Erin is green. If something is white and green then it is nice. All rough things are nice. All nice things are white. If something is nice and not rough then it is young. Green things are young.
Gary is blue.
@0: Anne is blue.[(triple1)] Anne is young.[(triple2)] Charlie is blue.[(triple3)] Charlie is nice.[(triple4)] Charlie is white.[(triple5 OR ((triple4) -> rule6))] Erin is rough.[(triple6)] Gary is kind.[(triple8)] Gary is nice.[(triple9 OR ((triple10) -> rule5))] Gary is not green.[(triple7)] Gary is not young.[(triple11)] Gary is rough.[(triple10)] @1: Erin is nice.[(((triple6) -> rule5))] Gary is white.[(((triple9) -> rule6) OR ((((triple10) -> rule5)) -> rule6))] @2: Erin is white.[(((((triple6) -> rule5)) -> rule6))] @3: Erin is green.[(((((((triple6) -> rule5)) -> rule6) ((triple6) -> rule5)) -> rule3))] @4: Erin is young.[(((((((((triple6) -> rule5)) -> rule6) ((triple6) -> rule5)) -> rule3)) -> rule8))] @5: Erin is kind.[(((((((triple6) -> rule5)) -> rule6) ((((((((triple6) -> rule5)) -> rule6) ((triple6) -> rule5)) -> rule3)) -> rule8)) -> rule1))]