Bob is blue. Bob is not furry. Bob is green. Bob is not kind. Bob is red. Bob is not rough. Bob is white. If something is red then it is green. If Bob is not green then Bob is furry. All blue, furry things are not kind.
Bob is kind.
@0: Bob is blue.[(triple1)] Bob is green.[(triple3 OR ((triple5) -> rule1))] Bob is not furry.[(triple2)] Bob is not kind.[(triple4)] Bob is not rough.[(triple6)] Bob is red.[(triple5)] Bob is white.[(triple7)]