Charlie is blue. Erin is kind. Gary is rough. Harry is rough. Rough things are white. All kind things are cold. If something is rough then it is white. If Harry is cold then Harry is kind. All big, white things are kind. If something is cold then it is rough.
Gary is kind.
@0: Charlie is blue.[(triple1)] Erin is kind.[(triple2)] Gary is rough.[(triple3)] Harry is rough.[(triple4)] @1: Erin is cold.[(((triple2) -> rule2))] Gary is white.[(((triple3) -> rule1) OR ((triple3) -> rule3))] Harry is white.[(((triple4) -> rule1) OR ((triple4) -> rule3))] @2: Erin is rough.[(((((triple2) -> rule2)) -> rule6))] @3: Erin is white.[(((((((triple2) -> rule2)) -> rule6)) -> rule1) OR ((((((triple2) -> rule2)) -> rule6)) -> rule3))]