Anne is furry. Anne is not green. Anne is kind. Harry is furry. Harry is not kind. Harry is nice. Harry is smart. If something is blue and not kind then it is smart. If Harry is nice and Harry is not green then Harry is not blue.
Anne is green.
@0: Anne is furry.[(triple1)] Anne is kind.[(triple3)] Anne is not green.[(triple2)] Harry is furry.[(triple4)] Harry is nice.[(triple6)] Harry is not kind.[(triple5)] Harry is smart.[(triple7)]