Anne is rough. Harry is nice. Harry is white. All big, furry people are smart. If someone is cold then they are smart. Smart, nice people are big. White people are big. White people are cold. If someone is white and not furry then they are nice. Smart people are not rough. If someone is smart and not nice then they are rough.
Harry is furry.
@0: Anne is rough.[(triple1)] Harry is nice.[(triple2)] Harry is white.[(triple3)] @1: Harry is big.[(((triple3) -> rule4) OR ((((((triple3) -> rule5)) -> rule2) triple2) -> rule3))] Harry is cold.[(((triple3) -> rule5))] @2: Harry is smart.[(((((triple3) -> rule5)) -> rule2))] @3: Harry is not rough.[(((((((triple3) -> rule5)) -> rule2)) -> rule7))]