Charlie is rough. Charlie is white. Gary is kind. If someone is young and kind then they are quiet. Rough, green people are blue. All rough people are green.
Gary is green.
@0: Charlie is rough.[(triple1)] Charlie is white.[(triple2)] Gary is kind.[(triple3)] @1: Charlie is green.[(((triple1) -> rule3))] @2: Charlie is blue.[(((triple1 ((triple1) -> rule3)) -> rule2))]