Harry is big. Harry is kind. Harry is round. Furry people are round. All nice, furry people are kind. All kind, white people are nice. If Harry is kind then Harry is white. Nice people are big. If someone is kind and big then they are nice. White people are rough. If someone is rough and big then they are white.
Harry is not big.
@0: Harry is big.[(triple1 OR ((((triple2 ((triple2) -> rule4)) -> rule3)) -> rule5))] Harry is kind.[(triple2)] Harry is round.[(triple3)] @1: Harry is nice.[(((triple2 triple1) -> rule6) OR ((triple2 ((triple2) -> rule4)) -> rule3))] Harry is white.[(((triple2) -> rule4))] @2: Harry is rough.[(((((triple2) -> rule4)) -> rule7))]