premise: Jorge has not visited Richardson, Bryan has visited Michigan City, Tracy has visited Saint Petersburg and if Bryan has visited Michigan City then Brandon has visited Eastham
hypothesis: Brandon has not visited Eastham