Harry is furry. Harry is nice. Harry is smart. All furry, round people are smart. All kind people are smart. All smart, round people are kind. All blue, smart people are round. If someone is round and furry then they are kind. Nice people are smart. If someone is nice then they are furry. If Harry is green then Harry is round.
Harry is smart.
@0: Harry is furry.[(triple1 OR ((triple2) -> rule7))] Harry is nice.[(triple2)] Harry is smart.[(triple3 OR ((triple2) -> rule6))]