Anne is round. If Anne is round then Anne is white. If someone is white then they are nice. All nice people are white.
Anne is not big.
@0: Anne is round.[(triple1)] @1: Anne is white.[(((triple1) -> rule1))] @2: Anne is nice.[(((((triple1) -> rule1)) -> rule2))]