[2311.17438] CLOMO: Counterfactual Logical Modification with Large Language Models