Gary is red. All white things are green. If something is smart and blue then it is not red. If something is green and smart then it is white. If something is red then it is white. Green, white things are smart. All white, green things are kind.
Gary is not red.
@0: Gary is red.[(triple1)] @1: Gary is white.[(((triple1) -> rule4))] @2: Gary is green.[(((((triple1) -> rule4)) -> rule1))] @3: Gary is kind.[(((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule1)) -> rule6))] Gary is smart.[(((((((triple1) -> rule4)) -> rule1) ((triple1) -> rule4)) -> rule5))]