简单的Keras模型,解决了斯坦福自然语言推理(SNLI)语料库使用求和复发性神经网络