Anne is round. Harry is blue. Harry is young. If something is young then it is furry. If Harry is young and Harry is rough then Harry is furry. Young, quiet things are blue. All quiet things are blue. If Harry is furry and Harry is green then Harry is blue. If Harry is blue and Harry is round then Harry is green.
Anne is not blue.
@0: Anne is round.[(triple1)] Harry is blue.[(triple2)] Harry is young.[(triple3)] @1: Harry is furry.[(((triple3) -> rule1))]