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