Anne is kind. Charlie is rough. Fiona is blue. Gary is rough. All rough, smart things are blue.
Fiona is not blue.
@0: Anne is kind.[(triple1)] Charlie is rough.[(triple2)] Fiona is blue.[(triple3)] Gary is rough.[(triple4)]