Harry is big. Harry is furry. Harry is kind. Harry is nice. Harry is red. Harry is round. Harry is smart. All kind things are round.
Harry is not smart.
@0: Harry is big.[(triple1)] Harry is furry.[(triple2)] Harry is kind.[(triple3)] Harry is nice.[(triple4)] Harry is red.[(triple5)] Harry is round.[(triple6 OR ((triple3) -> rule1))] Harry is smart.[(triple7)]