premise: Kevin has not visited Appleton, Angel has not visited Mount Pleasant, Jaime has visited Petersburg and if Kevin has not visited Appleton then Allan has not visited Stillwater
hypothesis: Allan has not visited Stillwater