premise: Everett has not visited Brattleboro, Jordan has visited Rockford, Leslie has not visited Beaverton and if Leslie has not visited Beaverton then Charles has not visited Plano
hypothesis: Charles has not visited Plano