Dave is big. Dave is green. Dave is red. Dave is smart. Dave is white. Fiona is green. Fiona is kind. Fiona is white. Gary is green. Gary is smart. Harry is white. Harry is young. If someone is smart and white then they are green. If someone is kind then they are smart. All red people are big. All big, red people are kind. If Dave is big then Dave is smart. If someone is young then they are red.
Harry is not kind.