Logical Reasoning with Diagrams and Sentences