Anne is nice. Anne is smart. Gary is blue. If Anne is nice then Anne is blue. If something is quiet and blue then it is nice.
Anne is not nice.
@0: Anne is nice.[(triple1)] Anne is smart.[(triple2)] Gary is blue.[(triple3)] @1: Anne is blue.[(((triple1) -> rule1))]