Premise: Take a left turn here on the B6318 and after 6 km (4 miles) you will see the sign for Birdoswald.

Hypothesis: There aren't any roads to Biroswald, are there?
Relation: contradiction