Anne is blue. Anne is kind. Bob is kind. Bob is nice. Bob is rough. Gary is round. Harry is blue. All quiet people are blue. Rough, quiet people are round. If someone is rough and not quiet then they are round. If someone is round and not furry then they are kind. If Harry is kind then Harry is rough. If someone is kind and not blue then they are nice.
Harry is not nice.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2)] Bob is kind.[(triple3)] Bob is nice.[(triple4)] Bob is rough.[(triple5)] Gary is round.[(triple6)] Harry is blue.[(triple7)]