前提: すべてのヨーロッパ人はヨーロッパに居住する権利を持っている。すべてのヨーロッパ人は人間である。ヨーロッパに居住する権利を持つすべての人間は、ヨーロッパの中を自由に移動できる。
仮説: すべてのヨーロッパ人はヨーロッパの中を自由に移動できる。