Charlie is green. Dave is red. Fiona is red. All furry people are round. Red, smart people are green.
Fiona is not green.
@0: Charlie is green.[(triple1)] Dave is red.[(triple2)] Fiona is red.[(triple3)]