Premise: Si uno de los Estados miembros de la Unión Europea es atacado, los demás están obligados a protegerlo con cada segundo de la cláusula de defensa mutua excepto en el artículo 42, punto 7, del Tratado de Lisboa.
Hypothesis: Los países de la Unión Europea deben invadir a otro país si este es atacado, según el artículo 42 del Tratado de Lisboa.