Bob is cold. Bob is furry. Bob is kind. Bob is quiet. Bob is smart. Bob is not white. Bob is not young. If something is young and not quiet then it is smart. All young, furry things are not smart. Kind things are furry. If something is cold then it is furry. All smart things are kind. If Bob is white then Bob is furry. If Bob is young and Bob is not quiet then Bob is smart. If Bob is furry then Bob is smart.
Bob is kind.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2 OR ((triple1) -> rule4) OR ((triple3) -> rule3) OR ((((triple5) -> rule5)) -> rule3))] Bob is kind.[(triple3 OR ((triple5) -> rule5) OR ((((triple2) -> rule8)) -> rule5) OR ((((((triple1) -> rule4)) -> rule8)) -> rule5))] Bob is not white.[(triple6)] Bob is not young.[(triple7)] Bob is quiet.[(triple4)] Bob is smart.[(triple5 OR ((triple2) -> rule8) OR ((((triple1) -> rule4)) -> rule8) OR ((((triple3) -> rule3)) -> rule8))]