premise: Jesus has not visited Powell, Kelly has visited East Saint Louis, Melvin has visited Wenatchee and if Kelly has visited East Saint Louis then Lance has visited Attleboro
hypothesis: Lance has not visited Attleboro