Anne is blue. Anne is green. Anne is round. If Anne is young and Anne is round then Anne is nice. If something is round then it is young. Young things are nice. If something is furry then it is blue. All green, quiet things are young. If something is young then it is green.
Anne is furry.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2 OR ((((triple3) -> rule2)) -> rule6))] Anne is round.[(triple3)] @1: Anne is young.[(((triple3) -> rule2))] @2: Anne is nice.[(((((triple3) -> rule2)) -> rule3) OR ((((triple3) -> rule2) triple3) -> rule1))]