premise: Billy has not visited Lexington, James has not visited Mount Pleasant, Chris has visited South Saint Paul and if James has not visited Mount Pleasant then Jesus has visited Rotterdam
hypothesis: Jesus has not visited Rotterdam