Harry is furry. Harry is green. Harry is kind. Harry is red. Harry is rough. Harry is round. Harry is not young. If Harry is young and Harry is green then Harry is kind. If Harry is not young then Harry is rough. If something is rough and young then it is furry.
Harry is furry.
@0: Harry is furry.[(triple1)] Harry is green.[(triple2)] Harry is kind.[(triple3)] Harry is not young.[(triple7)] Harry is red.[(triple4)] Harry is rough.[(triple5 OR ((triple7) -> rule2))] Harry is round.[(triple6)]