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