Anne is smart. Gary is white. White things are smart. Blue, red things are white. All smart things are not blue.
Gary is not nice.
@0: Anne is smart.[(triple1)] Gary is white.[(triple2)] @1: Anne is not blue.[(((triple1) -> rule3))] Gary is smart.[(((triple2) -> rule1))] @2: Gary is not blue.[(((((triple2) -> rule1)) -> rule3))]