premise: Tracy has not visited Osawatomie, Jessie has not visited Little Falls, Timothy has visited Oregon City and if Tracy has visited Osawatomie then Keith has visited Vandalia
hypothesis: Keith has not visited Vandalia