Harry is cold. Harry is furry. Harry is green. Harry is rough. Harry is round. Harry is smart. Harry is young. All furry, rough things are round.
Harry is rough.
@0: Harry is cold.[(triple1)] Harry is furry.[(triple2)] Harry is green.[(triple3)] Harry is rough.[(triple4)] Harry is round.[(triple5 OR ((triple2 triple4) -> rule1))] Harry is smart.[(triple6)] Harry is young.[(triple7)]