{"rule":"GERMAN_SPELLER_RULE","sentence":"^\\QWenn Sie als Hausaufgabe nachrechnen sollen, dass ein gegebenes Polynom \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q irreduzibel ist, dann werden wir den Output von „isIrreducible(\\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q)“ aber nicht akzeptieren.\\E$"}
{"rule":"DOPPELTE_SATZZEICHEN","sentence":"^\\QWorum geht es in dieser Vorlesung?.\\E$"}
{"rule":"DE_CASE","sentence":"^\\QWikipedia schreibt: Rationale Parametrisierung des Kreises Pythagoreische Tripel finden sich bereits auf babylonischen Tontafeln, die in die Zeit der Hammurabi-Dynastie datiert werden (1829 bis 1530 v. Chr.).\\E$"}
{"rule":"DE_CASE","sentence":"^\\QWikipedia schreibt: Zahlreiche teils romantische, teils dramatische, aber auch tragische Episoden dieser Geschichte haben [den Großen Satz von Fermat] weit über den Kreis der Mathematiker hinaus populär gemacht.\\E$"}
{"rule":"KLEINSCHREIBUNG_KEIN_NAME","sentence":"^\\QDer Beweis von Satz \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q verwendet die \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q, die sie aus der Vorlesung „Lineare Algebra“ kennen (sollten).\\E$"}
