Anne is kind. Anne is rough. Anne is white. Charlie is green. Charlie is kind. Charlie is rough. Charlie is not young. Gary is kind. Gary is rough. Gary is white. Rough people are red.
Charlie is not young.
@0: Anne is kind.[(triple1)] Anne is rough.[(triple2)] Anne is white.[(triple3)] Charlie is green.[(triple4)] Charlie is kind.[(triple5)] Charlie is not young.[(triple7)] Charlie is rough.[(triple6)] Gary is kind.[(triple8)] Gary is rough.[(triple9)] Gary is white.[(triple10)] @1: Anne is red.[(((triple2) -> rule1))] Charlie is red.[(((triple6) -> rule1))] Gary is red.[(((triple9) -> rule1))]