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