Anne is blue. Anne is green. Anne is red. Anne is smart. Bob is blue. Bob is green. Erin is big. Erin is blue. Erin is cold. Erin is green. Erin is red. Erin is smart. If Anne is cold and Anne is big then Anne is red. If someone is red then they are smart. All cold, red people are blue. All blue people are smart. If Erin is cold then Erin is smart. Round people are smart. If Anne is round and Anne is red then Anne is big. Cold, green people are smart.
Erin is red.