Anne is quiet. Anne is smart. Bob is cold. All nice, young people are big. If someone is red then they are quiet. All cold people are quiet. If someone is not smart then they are young. All smart, red people are young. If someone is cold then they are nice. If someone is not big and not smart then they are not red. If someone is big and not young then they are red.
Bob is smart.