premise: David has not visited Boonesborough, Melvin has not visited Santa Barbara, Hector has visited Rockville and if David has visited Boonesborough then Jessie has visited Champaign
hypothesis: Jessie has not visited Champaign