premise: Clarence has not visited San Francisco, Pedro has visited Richland, Thomas has visited Webster and if Thomas has visited Webster then Michael has visited Beverly Hills
hypothesis: Michael has visited Beverly Hills