Anne is blue. Anne is young. Gary is blue. If someone is smart and red then they are blue. If Anne is smart and Anne is red then Anne is blue. If someone is smart and rough then they are round.
Gary is not round.
@0: Anne is blue.[(triple1)] Anne is young.[(triple2)] Gary is blue.[(triple3)]