Dave is big. Dave is blue. Dave is quiet. Dave is smart. Dave is white. Erin is big. Erin is blue. Erin is quiet. Erin is smart. Fiona is blue. Fiona is smart. Fiona is white. Harry is big. Harry is kind. Harry is young. If Dave is big and Dave is white then Dave is blue. If Erin is young and Erin is smart then Erin is blue. If someone is smart then they are white. If someone is quiet then they are big. If someone is white then they are young. If Dave is blue and Dave is white then Dave is smart.
Dave is not blue.