Bob is smart. Charlie is kind. Gary is blue. All smart people are not blue. If someone is smart and not blue then they are not green.
Bob is not kind.
@0: Bob is smart.[(triple1)] Charlie is kind.[(triple2)] Gary is blue.[(triple3)] @1: Bob is not blue.[(((triple1) -> rule1))] @2: Bob is not green.[(((triple1 ((triple1) -> rule1)) -> rule2))]