premise: Perry has not visited Pontiac, Claude has not visited Centralia, Ricardo has visited Winona and if Claude has not visited Centralia then Matthew has not visited Bloomington
hypothesis: Matthew has not visited Bloomington