Anne is red. Anne is rough. Anne is smart. Charlie is furry. Charlie is red. Charlie is rough. Charlie is smart. All smart, rough things are furry. Furry things are quiet. All quiet things are young.
Anne is not young.
@0: Anne is red.[(triple1)] Anne is rough.[(triple2)] Anne is smart.[(triple3)] Charlie is furry.[(triple4 OR ((triple7 triple6) -> rule1))] Charlie is red.[(triple5)] Charlie is rough.[(triple6)] Charlie is smart.[(triple7)] @1: Anne is furry.[(((triple3 triple2) -> rule1))] Charlie is quiet.[(((triple4) -> rule2) OR ((((triple7 triple6) -> rule1)) -> rule2))] @2: Anne is quiet.[(((((triple3 triple2) -> rule1)) -> rule2))] Charlie is young.[(((((triple4) -> rule2)) -> rule3) OR ((((((triple7 triple6) -> rule1)) -> rule2)) -> rule3))] @3: Anne is young.[(((((((triple3 triple2) -> rule1)) -> rule2)) -> rule3))]