Premise: Well-marked paths lead to farmhouses and rustic mountain-restaurants where you can try the local bacon (Speck) or spinach dumplings (Spinatkn??dl) as a change from pasta.

Hypothesis: None of the restaurants sell bacon or spinach.
Relation: contradiction