Bob is green. Bob is kind. Bob is quiet. Bob is smart. Bob is white. Erin is green. Erin is kind. Erin is quiet. Erin is red. Fiona is green. Fiona is quiet. Harry is green. Harry is quiet. Harry is smart. Harry is white. If someone is white and green then they are red. All red people are kind. All smart, quiet people are red.
Fiona is not red.