Anne is green. Anne is rough. Anne is young. If someone is smart then they are not kind. If someone is green then they are kind. All kind people are nice. If someone is smart and green then they are nice. Nice, kind people are round. If someone is round and not kind then they are not rough.
Anne is round.
@0: Anne is green.[(triple1)] Anne is rough.[(triple2)] Anne is young.[(triple3)] @1: Anne is kind.[(((triple1) -> rule2))] @2: Anne is nice.[(((((triple1) -> rule2)) -> rule3))] @3: Anne is round.[(((((((triple1) -> rule2)) -> rule3) ((triple1) -> rule2)) -> rule5))]