Gary is red. Green, red people are young. Smart people are nice. Red people are smart.
Gary is not red.
@0: Gary is red.[(triple1)] @1: Gary is smart.[(((triple1) -> rule3))] @2: Gary is nice.[(((((triple1) -> rule3)) -> rule2))]