Anne is smart. Dave is round. Erin is not red. Fiona is cold. If someone is red and not quiet then they are round. Smart people are red. All cold people are smart. All young, red people are smart. If Erin is young then Erin is not quiet. If someone is kind and round then they are not young.
Erin is not red.