premise: Randall has not visited Franklin, Richard has visited Arlington, Dustin has visited Mount Pleasant and if Richard has visited Arlington then Rafael has visited Vincennes
hypothesis: Rafael has not visited Vincennes