fifteen children voted for their favorite color. the votes for red and blue together were double the votes for green and red. How did the children vote?