Anne is furry. If something is furry then it is young. All smart things are furry. Big things are round. White things are big. If Anne is furry then Anne is blue. If something is furry and blue then it is white.
Anne is white.
@0: Anne is furry.[(triple1)] @1: Anne is blue.[(((triple1) -> rule5))] Anne is young.[(((triple1) -> rule1))] @2: Anne is white.[(((triple1 ((triple1) -> rule5)) -> rule6))] @3: Anne is big.[(((((triple1 ((triple1) -> rule5)) -> rule6)) -> rule4))] @4: Anne is round.[(((((((triple1 ((triple1) -> rule5)) -> rule6)) -> rule4)) -> rule3))]