Item 0.2.5.c.

If the triangle is not green, then the square is not blue.

in-context