premise: Ricardo has not visited Brunswick, Steve has visited Danbury, Jerry has not visited Port Gibson and if Jerry has not visited Port Gibson then Tracy has not visited Reading
hypothesis: Tracy has not visited Reading