Bob is furry. If Bob is furry then Bob is big. All kind things are white. Rough, kind things are not white. Green, kind things are white. All furry, blue things are kind. All rough, furry things are not green. If Bob is big then Bob is blue. All green things are rough.
Bob is not rough.
@0: Bob is furry.[(triple1)] @1: Bob is big.[(((triple1) -> rule1))] @2: Bob is blue.[(((((triple1) -> rule1)) -> rule7))] @3: Bob is kind.[(((triple1 ((((triple1) -> rule1)) -> rule7)) -> rule5))] @4: Bob is white.[(((((triple1 ((((triple1) -> rule1)) -> rule7)) -> rule5)) -> rule2))]