premise: Roy has not visited Cedar Falls, George has visited Longview, Corey has not visited Collinsville and if Corey has not visited Collinsville then Nicholas has visited Sparks
hypothesis: Nicholas has not visited Sparks