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