Gary is red. Harry is young. All rough things are quiet. All white things are young. If something is smart and quiet then it is rough. White, smart things are rough. All young things are rough. All rough things are green. If something is rough and not red then it is smart. Green things are white.
Gary is white.
@0: Gary is red.[(triple1)] Harry is young.[(triple2)] @1: Harry is rough.[(((triple2) -> rule5))] @2: Harry is green.[(((((triple2) -> rule5)) -> rule6))] Harry is quiet.[(((((triple2) -> rule5)) -> rule1))] @3: Harry is white.[(((((((triple2) -> rule5)) -> rule6)) -> rule8))]