Dave is blue. Dave is kind. Dave is red. Dave is smart. Fiona is big. Fiona is kind. Fiona is nice. Fiona is red. Fiona is white. Gary is big. Gary is nice. Gary is red. Harry is big. Harry is kind. Harry is white. All kind, big things are smart. If something is nice then it is big. If something is smart then it is kind. All kind, smart things are blue. If something is nice and blue then it is kind. If Harry is big and Harry is nice then Harry is blue.
Harry is not blue.