Carlos não ir ao Canadá é condição necessária para Alexandre ir à Alemanha. Helena não ir à Holanda é condição suficiente para Carlos ir ao Canadá. Alexandre não ir à Alemanha é condição necessária para Carlos não ir ao Canadá. Helena ir à Holanda é condição suficiente para Alexandre ir à Alemanha. Portanto:
Helena não vai à Holanda, Carlos não vai ao Canadá, Alexandre não vai à Alemanha.
Helena vai à Holanda, Carlos vai ao Canadá, Alexandre não vai à Alemanha.
Helena não vai à Holanda, Carlos vai ao Canadá, Alexandre não vai à Alemanha.
Helena vai à Holanda, Carlos não vai ao Canadá, Alexandre vai à Alemanha.
Helena vai à Holanda, Carlos não vai ao Canadá, Alexandre não vai à Alemanha.