premise: Miguel has not visited Brigham City, Jessie has not visited Springfield, Leon has visited Springville and if Miguel has visited Brigham City then Alfredo has visited Rutherford
hypothesis: Alfredo has not visited Rutherford