前提: 北アメリカ大陸の居住者の一人一人がヨーロッパの中を自由に移動できる。すべてのカナダ人居住者は北アメリカ大陸の居住者である。
仮説: カナダ人居住者の一人一人がヨーロッパの中を自由に移動できる。