Generating Prototypes for Contradiction Detection Using Large Language Models and Linguistic Rules