Anne is blue. Anne is nice. Gary is green. All green, red people are smart. All smart people are furry.
Gary is not green.
@0: Anne is blue.[(triple1)] Anne is nice.[(triple2)] Gary is green.[(triple3)]