Charlie is green. Charlie is kind. Charlie is nice. Charlie is red. Erin is kind. Fiona is kind. Fiona is red. Fiona is rough. Fiona is white. Fiona is young. Gary is green. Gary is kind. Gary is rough. Gary is white. Gary is young. If something is young then it is green.
Erin is rough.
@0: Charlie is green.[(triple1)] Charlie is kind.[(triple2)] Charlie is nice.[(triple3)] Charlie is red.[(triple4)] Erin is kind.[(triple5)] Fiona is kind.[(triple6)] Fiona is red.[(triple7)] Fiona is rough.[(triple8)] Fiona is white.[(triple9)] Fiona is young.[(triple10)] Gary is green.[(triple11 OR ((triple15) -> rule1))] Gary is kind.[(triple12)] Gary is rough.[(triple13)] Gary is white.[(triple14)] Gary is young.[(triple15)] @1: Fiona is green.[(((triple10) -> rule1))]