Anne is big. Anne is blue. Anne is cold. Anne is green. Dave is big. Dave is blue. Dave is green. Gary is not big. Gary is not cold. Gary is not nice. Gary is round. Gary is not young. All green, blue people are big. Young people are round. All round, cold people are not nice. If Anne is big then Anne is not nice. All blue, cold people are green. If someone is cold then they are big. If someone is young then they are big. If Dave is not round and Dave is not big then Dave is young.
Gary is cold.