Text: If the tides change with the position of some heavenly body, then we can build cams that have shapes like the effect of the moon's orbit, and gear them together in the right order.
Entailment: We can construct cams shaped like the moon's orbit.
Contradiction: It is impossible to construct any kind of cams.