Anne is big. Anne is green. Anne is kind. Anne is young. Bob is big. Bob is green. Bob is nice. Bob is white. Bob is young. Dave is kind. Dave is white. Fiona is kind. Fiona is nice. Fiona is white. Kind, young people are big. If someone is young and nice then they are white. All nice people are young. All green people are nice. If someone is green then they are nice. If Fiona is big then Fiona is nice. All big people are smart. If Dave is white then Dave is green.
Dave is not young.