premise: Karl has not visited Des Plaines, Jesse has not visited Mansfield, James has visited Lockport and if Jesse has not visited Mansfield then Patrick has not visited Clarksburg
hypothesis: Patrick has not visited Clarksburg