Bob is blue. Bob is round. Bob is smart. Charlie is blue. Charlie is quiet. Charlie is red. Erin is cold. If Bob is blue then Bob is quiet. All cold people are smart. If someone is smart and nice then they are quiet. If Erin is red and Erin is cold then Erin is quiet. If someone is red and smart then they are blue. If someone is quiet then they are smart. Blue people are round. Round, smart people are quiet.
Erin is not round.