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.
Gary is blue.
@0: Anne is nice.[(triple1)] Anne is smart.[(triple2)] Gary is blue.[(triple3)] @1: Anne is blue.[(((triple1) -> rule1))]