Bob is not blue. Bob is furry. Bob is nice. Bob is red. Bob is rough. Bob is not smart. Bob is not young. All young, blue people are rough. All young, nice people are rough. Rough, furry people are not smart. All smart people are not nice. If someone is rough then they are nice. All blue people are not furry. All young people are not red. If someone is blue and not furry then they are not red.
Bob is not red.
@0: Bob is furry.[(triple2)] Bob is nice.[(triple3 OR ((triple5) -> rule5))] Bob is not blue.[(triple1)] Bob is not smart.[(triple6 OR ((triple5 triple2) -> rule3))] Bob is not young.[(triple7)] Bob is red.[(triple4)] Bob is rough.[(triple5)]