premise: Christian has not visited Dearborn, Arnold has visited Walla Walla, Tom has not visited Bellevue and if Tom has not visited Bellevue then Derrick has visited North College Hill
hypothesis: Derrick has visited North College Hill