Dave is young. Fiona is red. Gary is green. Harry is green. If someone is blue and green then they are red.
Fiona is smart.
@0: Dave is young.[(triple1)] Fiona is red.[(triple2)] Gary is green.[(triple3)] Harry is green.[(triple4)]