premise: Oscar has not visited Magnolia, Christopher has not visited Charles Town, Sidney has visited Rancho Cucamonga and if Christopher has not visited Charles Town then Zachary has visited Portsmouth
hypothesis: Zachary has visited Portsmouth