Analyzing statements and making deductions