Charlie is red. Charlie is rough. Charlie is smart. Dave is blue. Dave is green. Dave is red. Dave is rough. Dave is round. Dave is white. Gary is blue. Gary is green. Gary is red. Gary is round. Gary is smart. Gary is white. Smart, blue people are rough.
Gary is smart.
@0: Charlie is red.[(triple1)] Charlie is rough.[(triple2)] Charlie is smart.[(triple3)] Dave is blue.[(triple4)] Dave is green.[(triple5)] Dave is red.[(triple6)] Dave is rough.[(triple7)] Dave is round.[(triple8)] Dave is white.[(triple9)] Gary is blue.[(triple10)] Gary is green.[(triple11)] Gary is red.[(triple12)] Gary is round.[(triple13)] Gary is smart.[(triple14)] Gary is white.[(triple15)] @1: Gary is rough.[(((triple14 triple10) -> rule1))]