Anne is blue. Anne is cold. Anne is nice. All cold things are young. Big things are blue. All blue, young things are rough.
Anne is not blue.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is nice.[(triple3)] @1: Anne is young.[(((triple2) -> rule1))] @2: Anne is rough.[(((triple1 ((triple2) -> rule1)) -> rule3))]