Charlie is green. Charlie is rough. Harry is cold. All green things are rough. All blue things are rough. All cold things are young. All green things are quiet. If something is young then it is quiet. Green things are quiet. Blue things are cold. Young, quiet things are green.
Harry is green.
@0: Charlie is green.[(triple1)] Charlie is rough.[(triple2 OR ((triple1) -> rule1))] Harry is cold.[(triple3)] @1: Charlie is quiet.[(((triple1) -> rule4) OR ((triple1) -> rule6))] Harry is young.[(((triple3) -> rule3))] @2: Harry is quiet.[(((((triple3) -> rule3)) -> rule5))] @3: Harry is green.[(((((triple3) -> rule3) ((((triple3) -> rule3)) -> rule5)) -> rule8))] @4: Harry is rough.[(((((((triple3) -> rule3) ((((triple3) -> rule3)) -> rule5)) -> rule8)) -> rule1))]