Charlie is big. Charlie is nice. Charlie is white. Gary is not big. Gary is green. Gary is not nice. Gary is rough. Harry is big. Harry is green. Harry is white. Nice, white things are rough.
Charlie is green.
@0: Charlie is big.[(triple1)] Charlie is nice.[(triple2)] Charlie is white.[(triple3)] Gary is green.[(triple5)] Gary is not big.[(triple4)] Gary is not nice.[(triple6)] Gary is rough.[(triple7)] Harry is big.[(triple8)] Harry is green.[(triple9)] Harry is white.[(triple10)] @1: Charlie is rough.[(((triple2 triple3) -> rule1))]