Bob is kind. Bob is nice. Bob is smart. Bob is white. Charlie is cold. Charlie is green. Charlie is kind. Charlie is red. Charlie is smart. Charlie is white. Fiona is green. Fiona is kind. If Fiona is nice and Fiona is green then Fiona is smart. If someone is nice and cold then they are green. All red, smart people are kind. If Fiona is red then Fiona is white. If someone is kind and not green then they are red. If someone is nice and not smart then they are cold. If someone is nice and not kind then they are not green. If someone is not kind then they are nice.
Charlie is not white.