premise: Jacob has not visited Great Falls, Derek has not visited Rocky Mount, Peter has visited Saint Ignace and if Derek has visited Rocky Mount then Roberto has visited Wellesley
hypothesis: Roberto has not visited Wellesley