Anne is rough. Bob is red. Charlie is nice. Gary is round. White, nice things are rough. Rough, round things are white. All smart things are red.
Gary is not round.
@0: Anne is rough.[(triple1)] Bob is red.[(triple2)] Charlie is nice.[(triple3)] Gary is round.[(triple4)]