Anne is blue. Anne is red. Anne is rough. If Anne is smart and Anne is not cold then Anne is red. All rough things are furry. If something is furry and blue then it is not kind.
Anne is blue.
@0: Anne is blue.[(triple1)] Anne is red.[(triple2)] Anne is rough.[(triple3)] @1: Anne is furry.[(((triple3) -> rule2))] @2: Anne is not kind.[(((((triple3) -> rule2) triple1) -> rule3))]