Prémisse : Le Qatar et Oman sont membres du Conseil de coopération du Golfe, CCG, qui regroupe également l'Arabie saoudite, le Koweït, Bahreïn et les Émirats arabes unis (EAU).
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