Anne is young. Harry is green. Harry is round. Round things are green. All white things are green. If something is green and smart then it is white. Green, smart things are young. If something is red then it is young. All round things are green.
Harry is not young.
@0: Anne is young.[(triple1)] Harry is green.[(triple2 OR ((triple3) -> rule1) OR ((triple3) -> rule6))] Harry is round.[(triple3)]