Anne is nice. If someone is big and kind then they are smart. If someone is big and nice then they are kind. If someone is nice then they are big.
Anne is big.
@0: Anne is nice.[(triple1)] @1: Anne is big.[(((triple1) -> rule3))] @2: Anne is kind.[(((((triple1) -> rule3) triple1) -> rule2))] @3: Anne is smart.[(((((triple1) -> rule3) ((((triple1) -> rule3) triple1) -> rule2)) -> rule1))]