premise: Theodore has not visited Geneva, Chad has visited Ottawa, Alberto has not visited Merced and if Alberto has not visited Merced then Randall has visited Fredericksburg
hypothesis: Randall has visited Fredericksburg