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 red.
@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))]