Bob is big. Bob is cold. Bob is red. Dave is big. Dave is cold. Dave is white. Fiona is big. Fiona is nice. Gary is red. Gary is young. If Bob is nice then Bob is young. All nice, big people are young. If someone is green then they are big. Big, green people are nice. If someone is green then they are big. If someone is white and young then they are red. Cold, red people are green. All cold people are white. If someone is young and nice then they are cold.
Fiona is not white.