Anne is nice. Anne is young. Dave is cold. Dave is rough. Dave is smart. Fiona is big. Gary is big. All young people are rough. If someone is rough and smart then they are cold. If Anne is rough then Anne is smart. If someone is cold then they are big. All smart people are nice. Round people are young. Young, cold people are rough. Cold, big people are round.
Anne is not cold.