Anne is red. Bob is smart. Dave is nice. Erin is smart. Red people are nice. All smart people are blue. Blue, big people are quiet. If someone is smart and blue then they are red. All red people are quiet. Blue people are quiet.
Anne is nice.