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 not smart.
@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)]