premise: Salvador has not visited Greenville, Zachary has visited Tiffin, Clarence has not visited Beloit and if Clarence has not visited Beloit then Erik has visited Des Plaines
hypothesis: Erik has not visited Des Plaines