Bob is not cold. Bob is green. Bob is young. If something is furry then it is smart. If Bob is green then Bob is smart. If Bob is cold and Bob is young then Bob is not smart. If Bob is young and Bob is furry then Bob is smart. If Bob is young then Bob is green. If Bob is furry then Bob is not cold. Smart things are furry. All furry things are kind.
Bob is kind.
@0: Bob is green.[(triple2 OR ((triple3) -> rule5))] Bob is not cold.[(triple1 OR ((((((triple2) -> rule2)) -> rule7)) -> rule6) OR ((((((((triple3) -> rule5)) -> rule2)) -> rule7)) -> rule6))] Bob is young.[(triple3)] @1: Bob is smart.[(((triple2) -> rule2) OR ((((triple3) -> rule5)) -> rule2))] @2: Bob is furry.[(((((triple2) -> rule2)) -> rule7) OR ((((((triple3) -> rule5)) -> rule2)) -> rule7))] @3: Bob is kind.[(((((((triple2) -> rule2)) -> rule7)) -> rule8) OR ((((((((triple3) -> rule5)) -> rule2)) -> rule7)) -> rule8))]