Anne is big. Anne is blue. Anne is kind. Dave is green. Dave is young. Fiona is big. Gary is young. If something is kind then it is young. If Fiona is kind then Fiona is blue. All big, cold things are green. If something is blue and cold then it is kind. If Fiona is young and Fiona is blue then Fiona is cold. If Dave is kind and Dave is green then Dave is big. If something is kind then it is cold. If something is blue and green then it is cold.
Dave is not young.