Penne rosse e penne blu

In un ufficio si usano solo penne blu e penne rosse.
I portapenne con almeno due penne hanno almeno una penna blu.

Se ne deduce che:
1) i portapenne che hanno solo penne blu contengono una sola penna;
2) i portapenne che hanno una sola penna non possono avere una penna rossa;
3) un portapenne che contiene due penne ha una penna rossa e una blu;
4) nessuna delle precedenti

Quale delle 4 definizioni è corretta?