It would not be possible to use pretrained word vectors, due to the artificial nature of our dataset.
the essence of natural logic reasoning is recursive composition up a tree structure where the premise and hypothesis are composed jointly, so this bottleneck proves extremely problematic.