Erin is green. Erin is kind. Gary is green. Gary is rough. Gary is white. Harry is not cold. Harry is kind. Red things are not rough. All cold things are green. If something is kind then it is green. If something is kind then it is red. All kind things are red. If something is cold then it is young. Rough, kind things are young. If Gary is white then Gary is rough.
Gary is not young.
@0: Erin is green.[(triple1 OR ((triple2) -> rule3))] Erin is kind.[(triple2)] Gary is green.[(triple3)] Gary is rough.[(triple4 OR ((triple5) -> rule8))] Gary is white.[(triple5)] Harry is kind.[(triple7)] Harry is not cold.[(triple6)] @1: Erin is red.[(((triple2) -> rule4) OR ((triple2) -> rule5))] Harry is green.[(((triple7) -> rule3))] Harry is red.[(((triple7) -> rule4) OR ((triple7) -> rule5))] @2: Erin is not rough.[(((((triple2) -> rule4)) -> rule1) OR ((((triple2) -> rule5)) -> rule1))] Harry is not rough.[(((((triple7) -> rule4)) -> rule1) OR ((((triple7) -> rule5)) -> rule1))]