Anne is round. If something is kind and furry then it is round. If Anne is blue then Anne is kind. Furry things are kind. If Anne is young then Anne is white. All young, white things are round. Round things are furry.
Anne is furry.
@0: Anne is round.[(triple1)] @1: Anne is furry.[(((triple1) -> rule6))] @2: Anne is kind.[(((((triple1) -> rule6)) -> rule3))]