Gary is young. Harry is red. Red people are young. All rough people are young. Smart people are quiet. All furry, rough people are smart. If Harry is smart then Harry is green. All young people are rough. All green, rough people are young. If someone is red then they are rough.
Gary is red.
@0: Gary is young.[(triple1)] Harry is red.[(triple2)] @1: Gary is rough.[(((triple1) -> rule6))] Harry is rough.[(((triple2) -> rule8) OR ((((triple2) -> rule1)) -> rule6))] Harry is young.[(((triple2) -> rule1) OR ((((triple2) -> rule8)) -> rule2))]