Generating Prototypes for Contradiction Detection Using Large Language Models and Linguistic Rules | IEEE Conference Publication | IEEE Xplore