Anne is rough. Anne is round. Anne is young. Charlie is furry. Charlie is rough. Charlie is round. Charlie is smart. Dave is nice. Dave is round. Dave is young. Gary is rough. Gary is smart. Nice people are blue.
Dave is nice.
@0: Anne is rough.[(triple1)] Anne is round.[(triple2)] Anne is young.[(triple3)] Charlie is furry.[(triple4)] Charlie is rough.[(triple5)] Charlie is round.[(triple6)] Charlie is smart.[(triple7)] Dave is nice.[(triple8)] Dave is round.[(triple9)] Dave is young.[(triple10)] Gary is rough.[(triple11)] Gary is smart.[(triple12)] @1: Dave is blue.[(((triple8) -> rule1))]