premise: Francis has not visited Mount Clemens, Fred has not visited Rhode Island, Russell has visited East Saint Louis and if Francis has visited Mount Clemens then Jared has visited Irving
hypothesis: Jared has visited Irving