Prémisse : Le Bahreïn et le Koweït sont membres du Conseil de coopération du Golfe, CCG, une organisation régionale politique, économique et militaire qui regroupe également l'Arabie saoudite, les Émirats arabes unis, le Qatar et Oman.
Hypothèse : Les membres du Conseil de coopération du Golfe sont : Arabie saoudite, Koweït, Émirats arabes unis, Qatar, Oman, Bahreïn.
Relation : entailment