Bob is big. Bob is green. Bob is kind. Bob is nice. Bob is red. Bob is white. Bob is young. Dave is big. Dave is kind. Dave is nice. Dave is red. Dave is young. Fiona is nice. Harry is kind. Harry is white. Harry is young. If someone is nice then they are big. If Dave is green and Dave is red then Dave is nice. If someone is big then they are white. Big, white people are red. All young people are green. Green, white people are kind.
Fiona is not green.