premise: Justin has not visited Chicago Heights, Philip has visited Rochester, Nelson has not visited Jefferson City and if Nelson has visited Jefferson City then Rodney has visited Costa Mesa
hypothesis: Rodney has not visited Costa Mesa