["we're", 'on', 'problem', 'number', 'four', 'and', 'they', 'give', 'us', 'a', 'theorem', 'it', 'says', 'a', 'triangle', 'has', 'at', 'most', 'one', 'obtuse', 'angle', 'fair', 'enough', 'Eduardo', 'is', 'proving', 'the', 'theorem', 'above', 'by', 'contradiction', 'he', 'began', 'by', 'assuming', 'so', 'the', 'way', 'you', 'prove', 'by', 'contradiction', "you're", 'like', 'okay', 'well', 'what', 'if', 'this', "weren't", 'true', 'let', 'me', 'prove', 'that', 'that', "can't", 'happen', 'well', "let's", 'see', 'what', 'he', 'does', 'anyway', 'he', 'began', 'by', 'assuming', 'that', 'in', 'triangle', 'ABC', 'angle', 'a', 'and', 'B', 'are', 'both', 'obtuse', 'which', 'theorem', 'will', 'Eduardo', 'use', 'to', 'reach', 'a', 'contradiction', 'okay', 'so', "he's", "he's", 'saying', 'let', 'me', 'draw', 'this', 'what', 'eduardo']
['CASE_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'PUNCUATION_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'PUNCUATION_DIFF', 'CASE_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'PUNCUATION_DIFF', 'NO_DIFF', 'PUNCUATION_DIFF', 'NO_DIFF', 'NO_DIFF', 'PUNCUATION_DIFF', 'CASE_DIFF', 'PUNCUATION_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'PUNCUATION_DIFF', 'CASE_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'PUNCUATION_DIFF', 'CASE_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'UNKNOWN_TYPE_DIFF', 'PUNCUATION_DIFF', 'CASE_DIFF', 'NO_DIFF', 'NO_DIFF', 'PUNCUATION_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'PUNCUATION_DIFF', 'NO_DIFF', 'CASE_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'PUNCUATION_DIFF', 'CASE_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'PUNCUATION_DIFF', 'NO_DIFF', 'CASE_DIFF']