Bob is cold. Bob is green. Bob is kind. Bob is not red. Bob is rough. Bob is smart. Bob is young. Fiona is cold. Fiona is kind. Fiona is red. If someone is not smart then they are kind. If Fiona is kind then Fiona is rough. If someone is rough and not kind then they are green.
Fiona is not green.