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 contenida en el artículo 42, punto 7, del Tratado de Lisboa.
Hypothesis: Si un estado de la UE es atacado, los demás estados no pueden sumarse a la ofensiva, según el 42º artículo del Tratado de Lisboa.