Bob is green. Charlie is furry. Charlie is green. Charlie is red. Gary is not white. Harry is not blue. Harry is not white. If someone is young and not furry then they are red.
Harry is not white.
@0: Bob is green.[(triple1)] Charlie is furry.[(triple2)] Charlie is green.[(triple3)] Charlie is red.[(triple4)] Gary is not white.[(triple5)] Harry is not blue.[(triple6)] Harry is not white.[(triple7)]