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.
Fiona is not white.
@0: Charlie is green.[(triple1)] Dave is nice.[(triple2)] Fiona is blue.[(triple3)]