Anne is round. Bob is kind. Charlie is cold. Erin is cold. All smart, big people are red. If someone is big then they are not smart. All smart, kind people are rough. If someone is kind and not big then they are smart. All round, kind people are smart. If someone is rough and not red then they are cold.
Charlie is cold.