Bob is big. Bob is cold. Bob is furry. Bob is green. Bob is not red. Bob is rough. Bob is not smart. Harry is big. Harry is furry. Harry is smart. All big things are not red. If something is red and not big then it is green. If something is red then it is not smart.
Bob is green.