Anne is round. Dave is nice. All furry things are nice. Furry things are smart. If something is young then it is green. All young, white things are nice. Round things are furry. All smart, furry things are young. If something is white then it is smart. All white, young things are nice.
Anne is furry.
@0: Anne is round.[(triple1)] Dave is nice.[(triple2)] @1: Anne is furry.[(((triple1) -> rule5))] @2: Anne is nice.[(((((triple1) -> rule5)) -> rule1))] Anne is smart.[(((((triple1) -> rule5)) -> rule2))] @3: Anne is young.[(((((((triple1) -> rule5)) -> rule2) ((triple1) -> rule5)) -> rule6))] @4: Anne is green.[(((((((((triple1) -> rule5)) -> rule2) ((triple1) -> rule5)) -> rule6)) -> rule3))]