Anne is big. If Anne is young then Anne is kind. If something is furry then it is nice. Big things are furry. If something is nice then it is furry. Nice things are blue. If something is furry and not nice then it is not kind.
Anne is furry.
@0: Anne is big.[(triple1)] @1: Anne is furry.[(((triple1) -> rule3))] @2: Anne is nice.[(((((triple1) -> rule3)) -> rule2))] @3: Anne is blue.[(((((((triple1) -> rule3)) -> rule2)) -> rule5))]