Charlie is green. Charlie is red. Charlie is young. Erin is green. Erin is kind. Erin is red. Erin is not young. Gary is red. Gary is rough. Gary is young. If someone is green then they are rough.
Charlie is kind.
@0: Charlie is green.[(triple1)] Charlie is red.[(triple2)] Charlie is young.[(triple3)] Erin is green.[(triple4)] Erin is kind.[(triple5)] Erin is not young.[(triple7)] Erin is red.[(triple6)] Gary is red.[(triple8)] Gary is rough.[(triple9)] Gary is young.[(triple10)] @1: Charlie is rough.[(((triple1) -> rule1))] Erin is rough.[(((triple4) -> rule1))]