Anne is quiet. Anne is round. Anne is young. Bob is big. Bob is kind. Bob is round. Erin is green. Erin is young. Gary is big. Gary is green. Gary is kind. Gary is quiet. Gary is round. Gary is smart. Gary is young. If Gary is not big then Gary is kind. If something is kind and not quiet then it is smart.
Anne is not smart.