Bob is big. Bob is cold. Bob is furry. Bob is green. Bob is quiet. Bob is red. Bob is smart. Charlie is big. Charlie is cold. Charlie is furry. Charlie is green. Charlie is quiet. Charlie is red. Charlie is smart. If Bob is quiet then Bob is cold. Quiet things are red. If something is quiet then it is red. Green things are furry. All cold things are big. If Bob is smart and Bob is quiet then Bob is red. If something is green and red then it is quiet. If Bob is red and Bob is big then Bob is quiet.
Bob is red.