Anne is cold. Anne is not round. Anne is not smart. Anne is young. Bob is cold. Bob is round. Dave is green. Dave is kind. Dave is round. Dave is young. Gary is big. Gary is cold. Gary is round. Gary is smart. Gary is young. All young, green things are cold. If something is round then it is young. Round, green things are not smart. All round things are kind. Kind, green things are cold. All round things are cold.
Dave is not young.