Bob is blue. Charlie is red. Dave is nice. If Dave is kind then Dave is nice. If Dave is round and Dave is nice then Dave is red.
Dave is not red.
@0: Bob is blue.[(triple1)] Charlie is red.[(triple2)] Dave is nice.[(triple3)]