CLOMO: Counterfactual Logical Modification with Large Language Models