Beispiel Tableau Kalkül