Harry is furry. Harry is kind. Harry is white. If someone is round then they are kind. Red, furry people are kind. If someone is white then they are round. If someone is white and not furry then they are round. Kind people are round. If someone is round then they are rough. If Harry is rough then Harry is round. If someone is rough then they are not blue.
Harry is not round.
@0: Harry is furry.[(triple1)] Harry is kind.[(triple2 OR ((((triple3) -> rule3)) -> rule1))] Harry is white.[(triple3)] @1: Harry is round.[(((triple2) -> rule5) OR ((triple3) -> rule3))] @2: Harry is rough.[(((((triple2) -> rule5)) -> rule6) OR ((((triple3) -> rule3)) -> rule6))] @3: Harry is not blue.[(((((((triple2) -> rule5)) -> rule6)) -> rule8) OR ((((((triple3) -> rule3)) -> rule6)) -> rule8))]