Harry is green. Harry is kind. Harry is young. If Harry is rough then Harry is young. If Harry is quiet and Harry is red then Harry is rough. All kind, rough things are green. If Harry is red and Harry is green then Harry is kind. All quiet things are young. If something is green and young then it is kind. All quiet, kind things are green. All red things are young.
Harry is not rough.
@0: Harry is green.[(triple1)] Harry is kind.[(triple2 OR ((triple1 triple3) -> rule6))] Harry is young.[(triple3)]