premise: Christian has not visited Philadelphia, Adam has not visited Kaskaskia, Tony has visited West Virginia and if Christian has not visited Philadelphia then Gabriel has not visited Richmond
hypothesis: Gabriel has not visited Richmond