mnli premise:  Two roads connect Ibiza Town with Sant Antoni, the shorter route passing through Sant Rafel, a village whose white church is relatively modern, but stately in a Spanish colonial way. hypothesis: There is only one road from Ibiza Town to Sant Antoni.