Text this: Resolution Principle and Fuzzy Logic