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