Anne is furry. Anne is red. Bob is big. Erin is blue. Erin is rough. Erin is smart. Harry is big. All green, furry things are red. Blue, red things are smart. Green, furry things are blue. If something is big then it is furry. All furry things are rough. If something is rough then it is green. If something is green and not furry then it is not red.
Bob is not blue.