premise: Marshall has not visited San Rafael, Armando has visited Beloit, Alberto has not visited Florence and if Alberto has visited Florence then Charles has visited Hyattsville
hypothesis: Charles has visited Hyattsville