Αποστολή με SMS: A Many-Valued Approach to Deduction and Reasoning for Artificial Intelligence