Gary is green. All green, cold things are red. White, red things are smart. If Gary is young then Gary is rough. If Gary is red then Gary is white. All white things are green. If Gary is green then Gary is red.
Gary is white.
@0: Gary is green.[(triple1)] @1: Gary is red.[(((triple1) -> rule6))] @2: Gary is white.[(((((triple1) -> rule6)) -> rule4))] @3: Gary is smart.[(((((((triple1) -> rule6)) -> rule4) ((triple1) -> rule6)) -> rule2))]