A shape is a green shape if and only if a shape is a green rectangle.
If an ellipse is a red shape a shape is a red rectangle.
A shape is a blue rectangle if and only if there is a blue square.
A square is a green shape if and only if a rectangle is a magenta shape.
An ellipse is a green shape if and only if a shape is a blue shape.