premise: Raymond has not visited Price, David has not visited Collinsville, Brian has visited Osceola and if David has not visited Collinsville then Gabriel has not visited Clearwater
hypothesis: Gabriel has not visited Clearwater