Bob is red. Charlie is nice. Dave is green. Harry is red. Furry, blue people are not red.
Dave is green.
@0: Bob is red.[(triple1)] Charlie is nice.[(triple2)] Dave is green.[(triple3)] Harry is red.[(triple4)]