Bob is green. Bob is kind. Bob is nice. Bob is smart. Bob is young. Charlie is cold. Charlie is green. Charlie is kind. Charlie is nice. Charlie is smart. Charlie is white. Charlie is young. Fiona is kind. Fiona is nice. Fiona is white. Fiona is young. All young, green people are white. All cold, smart people are young. All kind people are cold.
Fiona is not green.