Charlie is green. Dave is nice. Fiona is blue. If Dave is blue and Dave is furry then Dave is red. All nice, blue things are white.
Dave is nice.
@0: Charlie is green.[(triple1)] Dave is nice.[(triple2)] Fiona is blue.[(triple3)]