Sérgio é o secretário de Cláudio, e Guilherme é o secretário de Bernardo. Portanto, se Cláudio viaja, então Sérgio viaja e, se Bernardo viaja, então Guilherme viaja.

Se Cláudio viajar, e Guilherme não viajar, então