Bob is big. Bob is blue. Bob is furry. Bob is nice. Bob is smart. Charlie is blue. Charlie is not furry. Charlie is green. Charlie is nice. Charlie is smart. If something is big then it is green.
Bob is green.