premise: Andre has not visited Hayward, Marc has visited East Haven, Christopher has not visited North Kingstown and if Christopher has not visited North Kingstown then Lee has not visited Nashville
hypothesis: Lee has not visited Nashville