Bob is not blue. Bob is cold. Bob is furry. Bob is green. Bob is not nice. Bob is rough. Bob is smart. If something is smart and not cold then it is not green. Nice, furry things are green. If Bob is nice and Bob is furry then Bob is green. If something is blue and smart then it is nice. Nice, cold things are furry. Blue things are not furry. All nice things are furry. If something is blue then it is smart.
Bob is not blue.
@0: Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is green.[(triple4)] Bob is not blue.[(triple1)] Bob is not nice.[(triple5)] Bob is rough.[(triple6)] Bob is smart.[(triple7)]