premise: Isaac has not visited Green River, Willard has not visited Charlottesville, Danny has visited Greensboro and if Willard has visited Charlottesville then Terrance has visited Lubec
hypothesis: Terrance has not visited Lubec