https://5dok.net/document/wyekj67y-recognizing-logical-entailment-reasoning-recursive-recurrent-neural-networks.html