Anne is kind. Charlie is blue. Dave is big. Fiona is rough. If Fiona is cold then Fiona is rough. White people are green. All big people are blue. If Dave is green and Dave is cold then Dave is not white. If Dave is blue then Dave is white. Kind people are white. If someone is kind and not big then they are rough. If Fiona is green and Fiona is not rough then Fiona is white.
Charlie is cold.