Charlie is big. Charlie is not blue. Charlie is not cold. Charlie is not green. Charlie is nice. Charlie is young. Dave is big. Dave is young. Fiona is big. Fiona is blue. Fiona is cold. Fiona is not nice. Fiona is not young. Gary is not blue. Gary is cold. If Fiona is young and Fiona is not green then Fiona is big. If someone is not nice then they are cold.
Fiona is not big.