premise: Arthur has not visited Barbourville, Seth has visited San Simeon, Charlie has not visited Cleveland and if Charlie has not visited Cleveland then Earl has not visited Coos Bay
hypothesis: Earl has not visited Coos Bay