premise: Ricardo has not visited Berkeley, Melvin has not visited Spanish Fork, Dave has visited Bartlesville and if Ricardo has not visited Berkeley then Herbert has visited Heber City
hypothesis: Herbert has not visited Heber City