premise: Jonathan has not visited Ontario, Edwin has visited Poughkeepsie, Wallace has not visited Independence and if Wallace has not visited Independence then Nathaniel has visited Price
hypothesis: Nathaniel has not visited Price