Text this: Techniques of deductive inference