premise: Lester has not visited Ferguson, Felix has not visited Williamstown, Alexander has visited Sacramento and if Lester has not visited Ferguson then Alfred has visited Council Bluffs
hypothesis: Alfred has visited Council Bluffs