Dave is blue. Fiona is young. Gary is young. All white things are rough. If something is green then it is big. All green things are rough.
Dave is not blue.
@0: Dave is blue.[(triple1)] Fiona is young.[(triple2)] Gary is young.[(triple3)]