Harry is nice. Harry is round. Harry is young. If someone is smart and big then they are round. If Harry is round then Harry is big. If Harry is furry and Harry is green then Harry is big. If someone is round and furry then they are green. Smart, round people are big. Smart, furry people are green. If Harry is young then Harry is smart. All young people are nice.
Harry is furry.
@0: Harry is nice.[(triple1 OR ((triple3) -> rule8))] Harry is round.[(triple2)] Harry is young.[(triple3)] @1: Harry is big.[(((triple2) -> rule2) OR ((((triple3) -> rule7) triple2) -> rule5))] Harry is smart.[(((triple3) -> rule7))]