premise: Nicholas has not visited Bordentown, Scott has not visited Daytona Beach, William has visited Braintree and if Scott has visited Daytona Beach then Marshall has visited Carlinville
hypothesis: Marshall has not visited Carlinville