Charlie is red. Dave is blue. Gary is kind. Harry is blue. Harry is green. Harry is kind. Harry is not red. If someone is red and not blue then they are round. If someone is green and not kind then they are red. If someone is red and big then they are green.
Harry is not green.
@0: Charlie is red.[(triple1)] Dave is blue.[(triple2)] Gary is kind.[(triple3)] Harry is blue.[(triple4)] Harry is green.[(triple5)] Harry is kind.[(triple6)] Harry is not red.[(triple7)]