Anne is blue. Anne is furry. Anne is not green. Anne is kind. Anne is round. Anne is young. Harry is blue. Harry is furry. Harry is green. Harry is kind. Harry is rough. Harry is not young. All young people are round. If someone is green and kind then they are round. If Harry is furry then Harry is rough. If someone is kind and not blue then they are not young. If Harry is not green then Harry is not furry. If Anne is furry and Anne is not young then Anne is rough.
Anne is not blue.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is kind.[(triple4)] Anne is not green.[(triple3)] Anne is round.[(triple5 OR ((triple6) -> rule1))] Anne is young.[(triple6)] Harry is blue.[(triple7)] Harry is furry.[(triple8)] Harry is green.[(triple9)] Harry is kind.[(triple10)] Harry is not young.[(triple12)] Harry is rough.[(triple11 OR ((triple8) -> rule3))] @1: Harry is round.[(((triple9 triple10) -> rule2))]