Bob is big. Bob is quiet. Bob is red. Bob is smart. Bob is white. Dave is big. Dave is blue. Dave is quiet. Dave is white. Erin is red. If Erin is not kind then Erin is not big. If someone is white then they are big. All kind, white people are quiet. If someone is kind then they are smart. If Dave is quiet and Dave is red then Dave is kind. If Dave is red and Dave is big then Dave is white. Blue, quiet people are red. If Bob is not big then Bob is kind.
Dave is smart.