premise: Sidney has not visited East Hampton, Steven has visited East Point, Albert has visited Shaker Heights and if Steven has visited East Point then Roland has visited Marietta
hypothesis: Roland has not visited Marietta