Bob is quiet. Charlie is blue. Fiona is blue. All blue people are furry. If Charlie is blue and Charlie is green then Charlie is quiet. If someone is smart and green then they are blue. If someone is smart and red then they are quiet. All blue people are red. All blue people are smart. If Charlie is rough and Charlie is blue then Charlie is smart. If someone is red then they are smart.
Bob is not red.