Anne is rough. If Anne is rough then Anne is kind. If something is quiet then it is white. If Anne is rough then Anne is furry. If something is quiet then it is rough. All kind things are rough. All kind things are round.
Anne is rough.
@0: Anne is rough.[(triple1)] @1: Anne is furry.[(((triple1) -> rule3))] Anne is kind.[(((triple1) -> rule1))] @2: Anne is round.[(((((triple1) -> rule1)) -> rule6))]