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