Explanation

All red pens are blue, and all blue pens are green, so red pens must also be green by logical link.

This is an example of transitive reasoning: if A → B and B → C, then A → C.