Bob is big. Bob is cold. Bob is kind. Bob is quiet. Bob is red. Bob is young. Dave is big. Dave is blue. Dave is cold. Dave is quiet. Dave is red. Erin is big. Erin is blue. Erin is kind. Erin is quiet. Erin is red. If Dave is red then Dave is blue. All cold, red people are young. If Bob is cold then Bob is kind. If Dave is cold then Dave is big. If someone is blue then they are red. If Erin is quiet then Erin is young. If someone is quiet then they are red. If Erin is blue then Erin is quiet.
Bob is quiet.