Can Neural Networks Understand Logical Entailment?