Premise: En los Juegos Olímpicos de Helsinki 1952, la Unión Soviética participó por primera vez en unos Juegos Olímpicos.
Hypothesis: La cláusula de defensa mútua del artículo 42 del Tratado de Lisboa dice que en caso de ataque a Alemania, Polonia puede negarse a dar auxilio.