premise: Joel has not visited Cocoa Beach, Andre has not visited Windsor Locks, Lonnie has visited New Britain and if Andre has not visited Windsor Locks then Mario has visited Cahokia
hypothesis: Mario has not visited Cahokia