Is it possible to generate syllogisms using an NLP algorithm?
That would probably be related to textual entailment and also relation extraction. 

I'm not aware of any specific work but I would check in the biomedical domain, because there are resources such as SemRep and I wouldn't be surprised if people tried to use it for similar purposes.