Αποστολή με SMS: The Automation of Reasoning with Incomplete Information