Bob is green. Fiona is blue. Gary is green. If someone is blue and green then they are nice. All red, quiet people are blue. All young, green people are red.
Gary is green.
@0: Bob is green.[(triple1)] Fiona is blue.[(triple2)] Gary is green.[(triple3)]