Anne is big. Anne is green. Anne is not quiet. All big people are nice. If someone is blue then they are not nice. If Anne is nice and Anne is green then Anne is rough. Rough, nice people are not round. All green, round people are blue. If someone is round and not blue then they are quiet.
Anne is nice.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is not quiet.[(triple3)] @1: Anne is nice.[(((triple1) -> rule1))] @2: Anne is rough.[(((((triple1) -> rule1) triple2) -> rule3))] @3: Anne is not round.[(((((((triple1) -> rule1) triple2) -> rule3) ((triple1) -> rule1)) -> rule4))]