Bob is big. Bob is nice. Bob is rough. Bob is smart. Bob is young. Charlie is green. Charlie is nice. Charlie is red. Charlie is rough. Charlie is young. If something is red and big then it is smart. All red, young things are big.
Bob is red.