Fiona is red. Gary is nice. All young people are red. Cold people are nice. If someone is not green then they are young. If someone is not green then they are rough. If someone is green then they are young. If someone is not red then they are rough. If someone is not young then they are not rough. If Gary is nice and Gary is not rough then Gary is cold.
Fiona is red.