premise: Miguel has not visited Rogers, Darrell has visited Rockland, Manuel has not visited Shreveport and if Manuel has not visited Shreveport then Jimmie has visited Saranac Lake
hypothesis: Jimmie has visited Saranac Lake