Bob is cold. Bob is furry. Bob is kind. Bob is rough. Bob is round. Bob is not smart. Bob is white. If something is furry and not cold then it is rough. All smart, furry things are rough. White things are kind. Smart, furry things are kind. If something is cold and smart then it is not white. If something is kind then it is furry.
Bob is furry.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2 OR ((triple3) -> rule6) OR ((((triple7) -> rule3)) -> rule6))] Bob is kind.[(triple3 OR ((triple7) -> rule3))] Bob is not smart.[(triple6)] Bob is rough.[(triple4)] Bob is round.[(triple5)] Bob is white.[(triple7)]