Bob is cold. Harry is not big. Harry is not cold. Harry is rough. Harry is smart. Harry is white. Harry is young. All big, smart people are not white. All cold people are smart. All smart people are furry. All white, rough people are furry. If Harry is young and Harry is cold then Harry is not furry. If Harry is rough and Harry is big then Harry is furry. If someone is cold and not young then they are not big. All cold, furry people are rough.
Harry is not cold.
@0: Bob is cold.[(triple1)] Harry is not big.[(triple2)] Harry is not cold.[(triple3)] Harry is rough.[(triple4)] Harry is smart.[(triple5)] Harry is white.[(triple6)] Harry is young.[(triple7)] @1: Bob is smart.[(((triple1) -> rule2))] Harry is furry.[(((triple5) -> rule3) OR ((triple6 triple4) -> rule4))] @2: Bob is furry.[(((((triple1) -> rule2)) -> rule3))] @3: Bob is rough.[(((triple1 ((((triple1) -> rule2)) -> rule3)) -> rule8))]