Carlos tiene 20 canicas de diferentes colores: amarillo, rojo, verdes y negro. Sabemos que 17 de las canicas no son rojas, 5 son negras y 12 no son amarillas. ¿Cuántas canicas verdes tiene Carlos?