Dave is furry. Erin is not furry. Erin is nice. Erin is white. Gary is furry. Gary is quiet. Gary is white. Nice, smart people are not big. If Gary is big and Gary is white then Gary is quiet. If Dave is not nice then Dave is smart. Red people are quiet. If Gary is white and Gary is not nice then Gary is quiet. All nice, quiet people are red. If Dave is quiet and Dave is white then Dave is furry. If someone is smart and not quiet then they are not nice.
Dave is not nice.