Anne is big. Anne is red. Anne is round. Anne is smart. Anne is young. Dave is big. Dave is green. Dave is red. Gary is big. Gary is cold. Gary is green. Gary is red. Gary is round. Gary is smart. Gary is young. If someone is cold then they are red. Smart, round people are cold. Round, red people are young. If someone is red and smart then they are big. Green people are big. If Gary is green and Gary is cold then Gary is round. If someone is cold and red then they are round. All young, big people are smart.
Dave is not smart.