Du bist ein Zugklassifizierer, der Züge beobachtet, die entweder nach Osten oder nach Westen fahren.
Jeder Zug besteht aus einem oder mehreren Wagen, und jeder Wagen ist durch eine Menge von Eigenschaften charakterisiert, die als Grundatome über eine feste Menge von Prädikaten dargestellt werden.
Die Fahrtrichtung (nach Osten oder nach Westen) eines Zuges soll aus seiner Zusammensetzung bestimmt werden.

Um die Züge zu beschreiben, definieren wir eine Menge von Prädikaten und Grunddomänen (Wertebereiche):

- 'hat_wagen(Zug, Wagen)': Gibt an, dass 'Wagen' Teil des Zuges 'Zug' ist.
- 'wagen_nummer(Wagen, WagenNummer)': Gibt die Position des Wagens innerhalb seines Zuges an. 'WagenNummer' ist eine positive ganze Zahl.
- 'wagen_farbe(Wagen, Farbe)': Gibt die Farbe des Wagens an. 'Farbe' kann 'rot', 'blau', 'gruen', 'gelb' oder 'weiss' sein.
- 'wagen_laenge(Wagen, Laenge)': Gibt die Länge des Wagens an. 'Laenge' kann entweder 'kurz' oder 'lang' sein.
- 'hat_wand(Wagen, WandTyp)': Gibt den Wandtyp eines Wagens an. 'WandTyp' kann entweder 'voll' oder 'gelaender' sein.
- 'hat_dach(Wagen, DachTyp)': Gibt den Dachtyp des Wagens an. 'DachTyp' kann 'dach_fundament', 'festes_dach', 'verstrebtes_dach', 'spitzdach' oder 'keine' sein.
- 'hat_rad(Wagen, RadAnzahl)': Gibt die Anzahl der Radsätze des Wagens an. 'RadAnzahl' kann entweder '2' oder '3' sein.
- 'hat_ladung(Wagen, LadungsTyp)': Gibt den Typ der Ladung des Wagens an. 'LadungsTyp' kann 'blaue_box', 'goldene_vase', 'fass', 'diamant', 'metall_topf', 'ovale_vase' oder 'keine' sein (wenn LadungsAnzahl = 0, ist keine Ladung vorhanden).
- 'ladungs_nummer(Wagen, LadungsAnzahl)': Gibt an, wie viele Ladungsobjekte geladen sind. 'LadungsAnzahl' kann '0', '1', '2' oder '3' sein.
- 'hat_fenster(Wagen, FensterTyp)': Gibt den Fenstertyp des Wagens an. 'FensterTyp' kann 'voll', 'halb' oder 'keine' sein.
- 'wagen_typ(Wagen, WagenTyp)': Gibt den Typ des Wagens an. 'WagenTyp' kann 'personenwagen' (für Personen), 'gueterwagen' (für Güter) oder 'gemischt' (für beides) sein.
- 'passagier_nummer(Wagen, PassagierAnzahl)': Gibt die Anzahl der Passagiere an. 'PassagierAnzahl' ist eine ganze Zahl zwischen 0 und 10 (einschließlich).

Du erhältst positive und negative Beispiele in der Form ost(t) oder west(t) für jeden Zug t, zusammen mit Hintergrundwissen, das aus Grundfakten über die obigen Prädikate besteht und seine Zusammensetzung beschreibt.

west(zug0).
hat_wagen(zug0, wagen0_1).
wagen_nummer(wagen0_1, 1).
wagen_farbe(wagen0_1, gelb).
wagen_laenge(wagen0_1, lang).
hat_wand(wagen0_1, voll).
hat_dach(wagen0_1, keine).
hat_rad(wagen0_1, 2).
hat_ladung(wagen0_1, keine).
ladungs_nummer(wagen0_1, 0).
hat_fenster(wagen0_1, voll).
wagen_typ(wagen0_1, gemischt).
passagier_nummer(wagen0_1, 8).
hat_wagen(zug0, wagen0_2).
wagen_nummer(wagen0_2, 2).
wagen_farbe(wagen0_2, gelb).
wagen_laenge(wagen0_2, lang).
hat_wand(wagen0_2, gelaender).
hat_dach(wagen0_2, spitzdach).
hat_rad(wagen0_2, 2).
hat_ladung(wagen0_2, keine).
ladungs_nummer(wagen0_2, 0).
hat_fenster(wagen0_2, keine).
wagen_typ(wagen0_2, gueterwagen).
passagier_nummer(wagen0_2, 0).
hat_wagen(zug0, wagen0_3).
wagen_nummer(wagen0_3, 3).
wagen_farbe(wagen0_3, blau).
wagen_laenge(wagen0_3, kurz).
hat_wand(wagen0_3, voll).
hat_dach(wagen0_3, verstrebtes_dach).
hat_rad(wagen0_3, 2).
hat_ladung(wagen0_3, keine).
ladungs_nummer(wagen0_3, 0).
hat_fenster(wagen0_3, halb).
wagen_typ(wagen0_3, gueterwagen).
passagier_nummer(wagen0_3, 0).
hat_wagen(zug0, wagen0_4).
wagen_nummer(wagen0_4, 4).
wagen_farbe(wagen0_4, weiss).
wagen_laenge(wagen0_4, lang).
hat_wand(wagen0_4, gelaender).
hat_dach(wagen0_4, dach_fundament).
hat_rad(wagen0_4, 3).
hat_ladung(wagen0_4, keine).
ladungs_nummer(wagen0_4, 0).
hat_fenster(wagen0_4, keine).
wagen_typ(wagen0_4, gemischt).
passagier_nummer(wagen0_4, 5).
hat_wagen(zug0, wagen0_5).
wagen_nummer(wagen0_5, 5).
wagen_farbe(wagen0_5, weiss).
wagen_laenge(wagen0_5, kurz).
hat_wand(wagen0_5, gelaender).
hat_dach(wagen0_5, festes_dach).
hat_rad(wagen0_5, 2).
hat_ladung(wagen0_5, keine).
ladungs_nummer(wagen0_5, 0).
hat_fenster(wagen0_5, voll).
wagen_typ(wagen0_5, gueterwagen).
passagier_nummer(wagen0_5, 0).
hat_wagen(zug0, wagen0_6).
wagen_nummer(wagen0_6, 6).
wagen_farbe(wagen0_6, gruen).
wagen_laenge(wagen0_6, lang).
hat_wand(wagen0_6, voll).
hat_dach(wagen0_6, keine).
hat_rad(wagen0_6, 3).
hat_ladung(wagen0_6, metall_topf).
ladungs_nummer(wagen0_6, 3).
hat_fenster(wagen0_6, halb).
wagen_typ(wagen0_6, gueterwagen).
passagier_nummer(wagen0_6, 0).

west(zug1).
hat_wagen(zug1, wagen1_1).
wagen_nummer(wagen1_1, 1).
wagen_farbe(wagen1_1, gruen).
wagen_laenge(wagen1_1, kurz).
hat_wand(wagen1_1, gelaender).
hat_dach(wagen1_1, verstrebtes_dach).
hat_rad(wagen1_1, 2).
hat_ladung(wagen1_1, keine).
ladungs_nummer(wagen1_1, 0).
hat_fenster(wagen1_1, keine).
wagen_typ(wagen1_1, personenwagen).
passagier_nummer(wagen1_1, 7).
hat_wagen(zug1, wagen1_2).
wagen_nummer(wagen1_2, 2).
wagen_farbe(wagen1_2, blau).
wagen_laenge(wagen1_2, kurz).
hat_wand(wagen1_2, gelaender).
hat_dach(wagen1_2, verstrebtes_dach).
hat_rad(wagen1_2, 2).
hat_ladung(wagen1_2, keine).
ladungs_nummer(wagen1_2, 0).
hat_fenster(wagen1_2, keine).
wagen_typ(wagen1_2, gueterwagen).
passagier_nummer(wagen1_2, 0).
hat_wagen(zug1, wagen1_3).
wagen_nummer(wagen1_3, 3).
wagen_farbe(wagen1_3, blau).
wagen_laenge(wagen1_3, kurz).
hat_wand(wagen1_3, gelaender).
hat_dach(wagen1_3, verstrebtes_dach).
hat_rad(wagen1_3, 2).
hat_ladung(wagen1_3, blaue_box).
ladungs_nummer(wagen1_3, 2).
hat_fenster(wagen1_3, keine).
wagen_typ(wagen1_3, gueterwagen).
passagier_nummer(wagen1_3, 0).
hat_wagen(zug1, wagen1_4).
wagen_nummer(wagen1_4, 4).
wagen_farbe(wagen1_4, rot).
wagen_laenge(wagen1_4, lang).
hat_wand(wagen1_4, gelaender).
hat_dach(wagen1_4, verstrebtes_dach).
hat_rad(wagen1_4, 3).
hat_ladung(wagen1_4, keine).
ladungs_nummer(wagen1_4, 0).
hat_fenster(wagen1_4, keine).
wagen_typ(wagen1_4, personenwagen).
passagier_nummer(wagen1_4, 9).
hat_wagen(zug1, wagen1_5).
wagen_nummer(wagen1_5, 5).
wagen_farbe(wagen1_5, rot).
wagen_laenge(wagen1_5, kurz).
hat_wand(wagen1_5, gelaender).
hat_dach(wagen1_5, keine).
hat_rad(wagen1_5, 2).
hat_ladung(wagen1_5, diamant).
ladungs_nummer(wagen1_5, 2).
hat_fenster(wagen1_5, voll).
wagen_typ(wagen1_5, gemischt).
passagier_nummer(wagen1_5, 10).
hat_wagen(zug1, wagen1_6).
wagen_nummer(wagen1_6, 6).
wagen_farbe(wagen1_6, gruen).
wagen_laenge(wagen1_6, kurz).
hat_wand(wagen1_6, gelaender).
hat_dach(wagen1_6, verstrebtes_dach).
hat_rad(wagen1_6, 2).
hat_ladung(wagen1_6, keine).
ladungs_nummer(wagen1_6, 0).
hat_fenster(wagen1_6, halb).
wagen_typ(wagen1_6, gemischt).
passagier_nummer(wagen1_6, 3).

west(zug2).
hat_wagen(zug2, wagen2_1).
wagen_nummer(wagen2_1, 1).
wagen_farbe(wagen2_1, gelb).
wagen_laenge(wagen2_1, lang).
hat_wand(wagen2_1, voll).
hat_dach(wagen2_1, festes_dach).
hat_rad(wagen2_1, 3).
hat_ladung(wagen2_1, keine).
ladungs_nummer(wagen2_1, 0).
hat_fenster(wagen2_1, halb).
wagen_typ(wagen2_1, gemischt).
passagier_nummer(wagen2_1, 0).
hat_wagen(zug2, wagen2_2).
wagen_nummer(wagen2_2, 2).
wagen_farbe(wagen2_2, weiss).
wagen_laenge(wagen2_2, lang).
hat_wand(wagen2_2, voll).
hat_dach(wagen2_2, keine).
hat_rad(wagen2_2, 3).
hat_ladung(wagen2_2, keine).
ladungs_nummer(wagen2_2, 0).
hat_fenster(wagen2_2, halb).
wagen_typ(wagen2_2, personenwagen).
passagier_nummer(wagen2_2, 2).
hat_wagen(zug2, wagen2_3).
wagen_nummer(wagen2_3, 3).
wagen_farbe(wagen2_3, rot).
wagen_laenge(wagen2_3, kurz).
hat_wand(wagen2_3, voll).
hat_dach(wagen2_3, keine).
hat_rad(wagen2_3, 2).
hat_ladung(wagen2_3, keine).
ladungs_nummer(wagen2_3, 0).
hat_fenster(wagen2_3, voll).
wagen_typ(wagen2_3, personenwagen).
passagier_nummer(wagen2_3, 2).
hat_wagen(zug2, wagen2_4).
wagen_nummer(wagen2_4, 4).
wagen_farbe(wagen2_4, gruen).
wagen_laenge(wagen2_4, kurz).
hat_wand(wagen2_4, voll).
hat_dach(wagen2_4, festes_dach).
hat_rad(wagen2_4, 2).
hat_ladung(wagen2_4, goldene_vase).
ladungs_nummer(wagen2_4, 2).
hat_fenster(wagen2_4, keine).
wagen_typ(wagen2_4, gueterwagen).
passagier_nummer(wagen2_4, 0).
hat_wagen(zug2, wagen2_5).
wagen_nummer(wagen2_5, 5).
wagen_farbe(wagen2_5, rot).
wagen_laenge(wagen2_5, lang).
hat_wand(wagen2_5, gelaender).
hat_dach(wagen2_5, dach_fundament).
hat_rad(wagen2_5, 3).
hat_ladung(wagen2_5, goldene_vase).
ladungs_nummer(wagen2_5, 1).
hat_fenster(wagen2_5, voll).
wagen_typ(wagen2_5, gueterwagen).
passagier_nummer(wagen2_5, 0).
hat_wagen(zug2, wagen2_6).
wagen_nummer(wagen2_6, 6).
wagen_farbe(wagen2_6, weiss).
wagen_laenge(wagen2_6, lang).
hat_wand(wagen2_6, voll).
hat_dach(wagen2_6, keine).
hat_rad(wagen2_6, 2).
hat_ladung(wagen2_6, keine).
ladungs_nummer(wagen2_6, 0).
hat_fenster(wagen2_6, halb).
wagen_typ(wagen2_6, gueterwagen).
passagier_nummer(wagen2_6, 0).

ost(zug3).
hat_wagen(zug3, wagen3_1).
wagen_nummer(wagen3_1, 1).
wagen_farbe(wagen3_1, blau).
wagen_laenge(wagen3_1, lang).
hat_wand(wagen3_1, voll).
hat_dach(wagen3_1, keine).
hat_rad(wagen3_1, 3).
hat_ladung(wagen3_1, keine).
ladungs_nummer(wagen3_1, 0).
hat_fenster(wagen3_1, keine).
wagen_typ(wagen3_1, gemischt).
passagier_nummer(wagen3_1, 4).
hat_wagen(zug3, wagen3_2).
wagen_nummer(wagen3_2, 2).
wagen_farbe(wagen3_2, gruen).
wagen_laenge(wagen3_2, kurz).
hat_wand(wagen3_2, gelaender).
hat_dach(wagen3_2, dach_fundament).
hat_rad(wagen3_2, 2).
hat_ladung(wagen3_2, keine).
ladungs_nummer(wagen3_2, 0).
hat_fenster(wagen3_2, halb).
wagen_typ(wagen3_2, personenwagen).
passagier_nummer(wagen3_2, 10).
hat_wagen(zug3, wagen3_3).
wagen_nummer(wagen3_3, 3).
wagen_farbe(wagen3_3, gelb).
wagen_laenge(wagen3_3, lang).
hat_wand(wagen3_3, voll).
hat_dach(wagen3_3, spitzdach).
hat_rad(wagen3_3, 2).
hat_ladung(wagen3_3, keine).
ladungs_nummer(wagen3_3, 0).
hat_fenster(wagen3_3, keine).
wagen_typ(wagen3_3, personenwagen).
passagier_nummer(wagen3_3, 4).
hat_wagen(zug3, wagen3_4).
wagen_nummer(wagen3_4, 4).
wagen_farbe(wagen3_4, rot).
wagen_laenge(wagen3_4, kurz).
hat_wand(wagen3_4, gelaender).
hat_dach(wagen3_4, verstrebtes_dach).
hat_rad(wagen3_4, 2).
hat_ladung(wagen3_4, fass).
ladungs_nummer(wagen3_4, 1).
hat_fenster(wagen3_4, keine).
wagen_typ(wagen3_4, gemischt).
passagier_nummer(wagen3_4, 1).
hat_wagen(zug3, wagen3_5).
wagen_nummer(wagen3_5, 5).
wagen_farbe(wagen3_5, blau).
wagen_laenge(wagen3_5, kurz).
hat_wand(wagen3_5, voll).
hat_dach(wagen3_5, festes_dach).
hat_rad(wagen3_5, 2).
hat_ladung(wagen3_5, keine).
ladungs_nummer(wagen3_5, 0).
hat_fenster(wagen3_5, halb).
wagen_typ(wagen3_5, personenwagen).
passagier_nummer(wagen3_5, 2).

west(zug4).
hat_wagen(zug4, wagen4_1).
wagen_nummer(wagen4_1, 1).
wagen_farbe(wagen4_1, weiss).
wagen_laenge(wagen4_1, kurz).
hat_wand(wagen4_1, voll).
hat_dach(wagen4_1, keine).
hat_rad(wagen4_1, 2).
hat_ladung(wagen4_1, ovale_vase).
ladungs_nummer(wagen4_1, 1).
hat_fenster(wagen4_1, keine).
wagen_typ(wagen4_1, gueterwagen).
passagier_nummer(wagen4_1, 0).
hat_wagen(zug4, wagen4_2).
wagen_nummer(wagen4_2, 2).
wagen_farbe(wagen4_2, weiss).
wagen_laenge(wagen4_2, kurz).
hat_wand(wagen4_2, voll).
hat_dach(wagen4_2, verstrebtes_dach).
hat_rad(wagen4_2, 2).
hat_ladung(wagen4_2, keine).
ladungs_nummer(wagen4_2, 0).
hat_fenster(wagen4_2, voll).
wagen_typ(wagen4_2, gemischt).
passagier_nummer(wagen4_2, 5).
hat_wagen(zug4, wagen4_3).
wagen_nummer(wagen4_3, 3).
wagen_farbe(wagen4_3, rot).
wagen_laenge(wagen4_3, lang).
hat_wand(wagen4_3, gelaender).
hat_dach(wagen4_3, keine).
hat_rad(wagen4_3, 3).
hat_ladung(wagen4_3, metall_topf).
ladungs_nummer(wagen4_3, 3).
hat_fenster(wagen4_3, halb).
wagen_typ(wagen4_3, gueterwagen).
passagier_nummer(wagen4_3, 0).
hat_wagen(zug4, wagen4_4).
wagen_nummer(wagen4_4, 4).
wagen_farbe(wagen4_4, gelb).
wagen_laenge(wagen4_4, lang).
hat_wand(wagen4_4, voll).
hat_dach(wagen4_4, dach_fundament).
hat_rad(wagen4_4, 3).
hat_ladung(wagen4_4, diamant).
ladungs_nummer(wagen4_4, 1).
hat_fenster(wagen4_4, halb).
wagen_typ(wagen4_4, gemischt).
passagier_nummer(wagen4_4, 3).
hat_wagen(zug4, wagen4_5).
wagen_nummer(wagen4_5, 5).
wagen_farbe(wagen4_5, rot).
wagen_laenge(wagen4_5, lang).
hat_wand(wagen4_5, voll).
hat_dach(wagen4_5, dach_fundament).
hat_rad(wagen4_5, 3).
hat_ladung(wagen4_5, fass).
ladungs_nummer(wagen4_5, 1).
hat_fenster(wagen4_5, voll).
wagen_typ(wagen4_5, gemischt).
passagier_nummer(wagen4_5, 8).
hat_wagen(zug4, wagen4_6).
wagen_nummer(wagen4_6, 6).
wagen_farbe(wagen4_6, rot).
wagen_laenge(wagen4_6, lang).
hat_wand(wagen4_6, voll).
hat_dach(wagen4_6, keine).
hat_rad(wagen4_6, 2).
hat_ladung(wagen4_6, keine).
ladungs_nummer(wagen4_6, 0).
hat_fenster(wagen4_6, voll).
wagen_typ(wagen4_6, gemischt).
passagier_nummer(wagen4_6, 8).

west(zug5).
hat_wagen(zug5, wagen5_1).
wagen_nummer(wagen5_1, 1).
wagen_farbe(wagen5_1, gelb).
wagen_laenge(wagen5_1, lang).
hat_wand(wagen5_1, gelaender).
hat_dach(wagen5_1, festes_dach).
hat_rad(wagen5_1, 3).
hat_ladung(wagen5_1, blaue_box).
ladungs_nummer(wagen5_1, 1).
hat_fenster(wagen5_1, halb).
wagen_typ(wagen5_1, gueterwagen).
passagier_nummer(wagen5_1, 0).
hat_wagen(zug5, wagen5_2).
wagen_nummer(wagen5_2, 2).
wagen_farbe(wagen5_2, gelb).
wagen_laenge(wagen5_2, kurz).
hat_wand(wagen5_2, voll).
hat_dach(wagen5_2, keine).
hat_rad(wagen5_2, 2).
hat_ladung(wagen5_2, metall_topf).
ladungs_nummer(wagen5_2, 1).
hat_fenster(wagen5_2, voll).
wagen_typ(wagen5_2, gemischt).
passagier_nummer(wagen5_2, 8).
hat_wagen(zug5, wagen5_3).
wagen_nummer(wagen5_3, 3).
wagen_farbe(wagen5_3, weiss).
wagen_laenge(wagen5_3, kurz).
hat_wand(wagen5_3, gelaender).
hat_dach(wagen5_3, verstrebtes_dach).
hat_rad(wagen5_3, 2).
hat_ladung(wagen5_3, keine).
ladungs_nummer(wagen5_3, 0).
hat_fenster(wagen5_3, keine).
wagen_typ(wagen5_3, personenwagen).
passagier_nummer(wagen5_3, 2).
hat_wagen(zug5, wagen5_4).
wagen_nummer(wagen5_4, 4).
wagen_farbe(wagen5_4, rot).
wagen_laenge(wagen5_4, lang).
hat_wand(wagen5_4, gelaender).
hat_dach(wagen5_4, spitzdach).
hat_rad(wagen5_4, 3).
hat_ladung(wagen5_4, keine).
ladungs_nummer(wagen5_4, 0).
hat_fenster(wagen5_4, voll).
wagen_typ(wagen5_4, personenwagen).
passagier_nummer(wagen5_4, 4).
hat_wagen(zug5, wagen5_5).
wagen_nummer(wagen5_5, 5).
wagen_farbe(wagen5_5, rot).
wagen_laenge(wagen5_5, lang).
hat_wand(wagen5_5, voll).
hat_dach(wagen5_5, spitzdach).
hat_rad(wagen5_5, 2).
hat_ladung(wagen5_5, keine).
ladungs_nummer(wagen5_5, 0).
hat_fenster(wagen5_5, halb).
wagen_typ(wagen5_5, personenwagen).
passagier_nummer(wagen5_5, 10).
hat_wagen(zug5, wagen5_6).
wagen_nummer(wagen5_6, 6).
wagen_farbe(wagen5_6, gruen).
wagen_laenge(wagen5_6, kurz).
hat_wand(wagen5_6, voll).
hat_dach(wagen5_6, verstrebtes_dach).
hat_rad(wagen5_6, 2).
hat_ladung(wagen5_6, keine).
ladungs_nummer(wagen5_6, 0).
hat_fenster(wagen5_6, voll).
wagen_typ(wagen5_6, personenwagen).
passagier_nummer(wagen5_6, 5).

ost(zug6).
hat_wagen(zug6, wagen6_1).
wagen_nummer(wagen6_1, 1).
wagen_farbe(wagen6_1, rot).
wagen_laenge(wagen6_1, lang).
hat_wand(wagen6_1, voll).
hat_dach(wagen6_1, spitzdach).
hat_rad(wagen6_1, 2).
hat_ladung(wagen6_1, blaue_box).
ladungs_nummer(wagen6_1, 1).
hat_fenster(wagen6_1, voll).
wagen_typ(wagen6_1, gemischt).
passagier_nummer(wagen6_1, 6).
hat_wagen(zug6, wagen6_2).
wagen_nummer(wagen6_2, 2).
wagen_farbe(wagen6_2, rot).
wagen_laenge(wagen6_2, kurz).
hat_wand(wagen6_2, gelaender).
hat_dach(wagen6_2, keine).
hat_rad(wagen6_2, 2).
hat_ladung(wagen6_2, keine).
ladungs_nummer(wagen6_2, 0).
hat_fenster(wagen6_2, voll).
wagen_typ(wagen6_2, gemischt).
passagier_nummer(wagen6_2, 9).
hat_wagen(zug6, wagen6_3).
wagen_nummer(wagen6_3, 3).
wagen_farbe(wagen6_3, gelb).
wagen_laenge(wagen6_3, kurz).
hat_wand(wagen6_3, voll).
hat_dach(wagen6_3, festes_dach).
hat_rad(wagen6_3, 2).
hat_ladung(wagen6_3, ovale_vase).
ladungs_nummer(wagen6_3, 2).
hat_fenster(wagen6_3, keine).
wagen_typ(wagen6_3, gemischt).
passagier_nummer(wagen6_3, 3).
hat_wagen(zug6, wagen6_4).
wagen_nummer(wagen6_4, 4).
wagen_farbe(wagen6_4, blau).
wagen_laenge(wagen6_4, kurz).
hat_wand(wagen6_4, gelaender).
hat_dach(wagen6_4, spitzdach).
hat_rad(wagen6_4, 2).
hat_ladung(wagen6_4, keine).
ladungs_nummer(wagen6_4, 0).
hat_fenster(wagen6_4, halb).
wagen_typ(wagen6_4, gemischt).
passagier_nummer(wagen6_4, 5).
hat_wagen(zug6, wagen6_5).
wagen_nummer(wagen6_5, 5).
wagen_farbe(wagen6_5, weiss).
wagen_laenge(wagen6_5, lang).
hat_wand(wagen6_5, gelaender).
hat_dach(wagen6_5, dach_fundament).
hat_rad(wagen6_5, 2).
hat_ladung(wagen6_5, keine).
ladungs_nummer(wagen6_5, 0).
hat_fenster(wagen6_5, voll).
wagen_typ(wagen6_5, gueterwagen).
passagier_nummer(wagen6_5, 0).

west(zug7).
hat_wagen(zug7, wagen7_1).
wagen_nummer(wagen7_1, 1).
wagen_farbe(wagen7_1, weiss).
wagen_laenge(wagen7_1, kurz).
hat_wand(wagen7_1, gelaender).
hat_dach(wagen7_1, spitzdach).
hat_rad(wagen7_1, 2).
hat_ladung(wagen7_1, fass).
ladungs_nummer(wagen7_1, 2).
hat_fenster(wagen7_1, keine).
wagen_typ(wagen7_1, gemischt).
passagier_nummer(wagen7_1, 4).
hat_wagen(zug7, wagen7_2).
wagen_nummer(wagen7_2, 2).
wagen_farbe(wagen7_2, gruen).
wagen_laenge(wagen7_2, lang).
hat_wand(wagen7_2, voll).
hat_dach(wagen7_2, verstrebtes_dach).
hat_rad(wagen7_2, 3).
hat_ladung(wagen7_2, fass).
ladungs_nummer(wagen7_2, 2).
hat_fenster(wagen7_2, voll).
wagen_typ(wagen7_2, gemischt).
passagier_nummer(wagen7_2, 3).
hat_wagen(zug7, wagen7_3).
wagen_nummer(wagen7_3, 3).
wagen_farbe(wagen7_3, rot).
wagen_laenge(wagen7_3, lang).
hat_wand(wagen7_3, gelaender).
hat_dach(wagen7_3, verstrebtes_dach).
hat_rad(wagen7_3, 3).
hat_ladung(wagen7_3, keine).
ladungs_nummer(wagen7_3, 0).
hat_fenster(wagen7_3, halb).
wagen_typ(wagen7_3, personenwagen).
passagier_nummer(wagen7_3, 2).
hat_wagen(zug7, wagen7_4).
wagen_nummer(wagen7_4, 4).
wagen_farbe(wagen7_4, rot).
wagen_laenge(wagen7_4, lang).
hat_wand(wagen7_4, voll).
hat_dach(wagen7_4, keine).
hat_rad(wagen7_4, 2).
hat_ladung(wagen7_4, keine).
ladungs_nummer(wagen7_4, 0).
hat_fenster(wagen7_4, voll).
wagen_typ(wagen7_4, personenwagen).
passagier_nummer(wagen7_4, 3).
hat_wagen(zug7, wagen7_5).
wagen_nummer(wagen7_5, 5).
wagen_farbe(wagen7_5, gruen).
wagen_laenge(wagen7_5, kurz).
hat_wand(wagen7_5, voll).
hat_dach(wagen7_5, dach_fundament).
hat_rad(wagen7_5, 2).
hat_ladung(wagen7_5, fass).
ladungs_nummer(wagen7_5, 1).
hat_fenster(wagen7_5, voll).
wagen_typ(wagen7_5, gemischt).
passagier_nummer(wagen7_5, 10).
hat_wagen(zug7, wagen7_6).
wagen_nummer(wagen7_6, 6).
wagen_farbe(wagen7_6, rot).
wagen_laenge(wagen7_6, lang).
hat_wand(wagen7_6, gelaender).
hat_dach(wagen7_6, festes_dach).
hat_rad(wagen7_6, 2).
hat_ladung(wagen7_6, blaue_box).
ladungs_nummer(wagen7_6, 2).
hat_fenster(wagen7_6, voll).
wagen_typ(wagen7_6, gemischt).
passagier_nummer(wagen7_6, 4).

ost(zug8).
hat_wagen(zug8, wagen8_1).
wagen_nummer(wagen8_1, 1).
wagen_farbe(wagen8_1, rot).
wagen_laenge(wagen8_1, lang).
hat_wand(wagen8_1, voll).
hat_dach(wagen8_1, dach_fundament).
hat_rad(wagen8_1, 2).
hat_ladung(wagen8_1, metall_topf).
ladungs_nummer(wagen8_1, 2).
hat_fenster(wagen8_1, halb).
wagen_typ(wagen8_1, gueterwagen).
passagier_nummer(wagen8_1, 0).
hat_wagen(zug8, wagen8_2).
wagen_nummer(wagen8_2, 2).
wagen_farbe(wagen8_2, gruen).
wagen_laenge(wagen8_2, kurz).
hat_wand(wagen8_2, voll).
hat_dach(wagen8_2, spitzdach).
hat_rad(wagen8_2, 2).
hat_ladung(wagen8_2, keine).
ladungs_nummer(wagen8_2, 0).
hat_fenster(wagen8_2, keine).
wagen_typ(wagen8_2, personenwagen).
passagier_nummer(wagen8_2, 5).
hat_wagen(zug8, wagen8_3).
wagen_nummer(wagen8_3, 3).
wagen_farbe(wagen8_3, gelb).
wagen_laenge(wagen8_3, kurz).
hat_wand(wagen8_3, voll).
hat_dach(wagen8_3, dach_fundament).
hat_rad(wagen8_3, 2).
hat_ladung(wagen8_3, keine).
ladungs_nummer(wagen8_3, 0).
hat_fenster(wagen8_3, voll).
wagen_typ(wagen8_3, personenwagen).
passagier_nummer(wagen8_3, 0).
hat_wagen(zug8, wagen8_4).
wagen_nummer(wagen8_4, 4).
wagen_farbe(wagen8_4, blau).
wagen_laenge(wagen8_4, lang).
hat_wand(wagen8_4, gelaender).
hat_dach(wagen8_4, keine).
hat_rad(wagen8_4, 2).
hat_ladung(wagen8_4, diamant).
ladungs_nummer(wagen8_4, 3).
hat_fenster(wagen8_4, halb).
wagen_typ(wagen8_4, gueterwagen).
passagier_nummer(wagen8_4, 0).
hat_wagen(zug8, wagen8_5).
wagen_nummer(wagen8_5, 5).
wagen_farbe(wagen8_5, gelb).
wagen_laenge(wagen8_5, kurz).
hat_wand(wagen8_5, gelaender).
hat_dach(wagen8_5, spitzdach).
hat_rad(wagen8_5, 2).
hat_ladung(wagen8_5, keine).
ladungs_nummer(wagen8_5, 0).
hat_fenster(wagen8_5, voll).
wagen_typ(wagen8_5, gemischt).
passagier_nummer(wagen8_5, 10).

ost(zug9).
hat_wagen(zug9, wagen9_1).
wagen_nummer(wagen9_1, 1).
wagen_farbe(wagen9_1, gruen).
wagen_laenge(wagen9_1, kurz).
hat_wand(wagen9_1, gelaender).
hat_dach(wagen9_1, verstrebtes_dach).
hat_rad(wagen9_1, 2).
hat_ladung(wagen9_1, fass).
ladungs_nummer(wagen9_1, 1).
hat_fenster(wagen9_1, keine).
wagen_typ(wagen9_1, gemischt).
passagier_nummer(wagen9_1, 9).
hat_wagen(zug9, wagen9_2).
wagen_nummer(wagen9_2, 2).
wagen_farbe(wagen9_2, blau).
wagen_laenge(wagen9_2, lang).
hat_wand(wagen9_2, voll).
hat_dach(wagen9_2, verstrebtes_dach).
hat_rad(wagen9_2, 2).
hat_ladung(wagen9_2, keine).
ladungs_nummer(wagen9_2, 0).
hat_fenster(wagen9_2, keine).
wagen_typ(wagen9_2, personenwagen).
passagier_nummer(wagen9_2, 9).
hat_wagen(zug9, wagen9_3).
wagen_nummer(wagen9_3, 3).
wagen_farbe(wagen9_3, weiss).
wagen_laenge(wagen9_3, lang).
hat_wand(wagen9_3, voll).
hat_dach(wagen9_3, keine).
hat_rad(wagen9_3, 2).
hat_ladung(wagen9_3, fass).
ladungs_nummer(wagen9_3, 1).
hat_fenster(wagen9_3, halb).
wagen_typ(wagen9_3, gueterwagen).
passagier_nummer(wagen9_3, 0).
hat_wagen(zug9, wagen9_4).
wagen_nummer(wagen9_4, 4).
wagen_farbe(wagen9_4, blau).
wagen_laenge(wagen9_4, lang).
hat_wand(wagen9_4, gelaender).
hat_dach(wagen9_4, festes_dach).
hat_rad(wagen9_4, 2).
hat_ladung(wagen9_4, keine).
ladungs_nummer(wagen9_4, 0).
hat_fenster(wagen9_4, keine).
wagen_typ(wagen9_4, personenwagen).
passagier_nummer(wagen9_4, 7).
hat_wagen(zug9, wagen9_5).
wagen_nummer(wagen9_5, 5).
wagen_farbe(wagen9_5, weiss).
wagen_laenge(wagen9_5, kurz).
hat_wand(wagen9_5, gelaender).
hat_dach(wagen9_5, dach_fundament).
hat_rad(wagen9_5, 2).
hat_ladung(wagen9_5, blaue_box).
ladungs_nummer(wagen9_5, 2).
hat_fenster(wagen9_5, voll).
wagen_typ(wagen9_5, gemischt).
passagier_nummer(wagen9_5, 1).

west(zug10).
hat_wagen(zug10, wagen10_1).
wagen_nummer(wagen10_1, 1).
wagen_farbe(wagen10_1, blau).
wagen_laenge(wagen10_1, lang).
hat_wand(wagen10_1, gelaender).
hat_dach(wagen10_1, keine).
hat_rad(wagen10_1, 3).
hat_ladung(wagen10_1, diamant).
ladungs_nummer(wagen10_1, 2).
hat_fenster(wagen10_1, voll).
wagen_typ(wagen10_1, gueterwagen).
passagier_nummer(wagen10_1, 0).
hat_wagen(zug10, wagen10_2).
wagen_nummer(wagen10_2, 2).
wagen_farbe(wagen10_2, blau).
wagen_laenge(wagen10_2, lang).
hat_wand(wagen10_2, voll).
hat_dach(wagen10_2, festes_dach).
hat_rad(wagen10_2, 2).
hat_ladung(wagen10_2, keine).
ladungs_nummer(wagen10_2, 0).
hat_fenster(wagen10_2, halb).
wagen_typ(wagen10_2, personenwagen).
passagier_nummer(wagen10_2, 9).
hat_wagen(zug10, wagen10_3).
wagen_nummer(wagen10_3, 3).
wagen_farbe(wagen10_3, weiss).
wagen_laenge(wagen10_3, lang).
hat_wand(wagen10_3, voll).
hat_dach(wagen10_3, keine).
hat_rad(wagen10_3, 3).
hat_ladung(wagen10_3, blaue_box).
ladungs_nummer(wagen10_3, 1).
hat_fenster(wagen10_3, keine).
wagen_typ(wagen10_3, gueterwagen).
passagier_nummer(wagen10_3, 0).
hat_wagen(zug10, wagen10_4).
wagen_nummer(wagen10_4, 4).
wagen_farbe(wagen10_4, weiss).
wagen_laenge(wagen10_4, lang).
hat_wand(wagen10_4, gelaender).
hat_dach(wagen10_4, dach_fundament).
hat_rad(wagen10_4, 3).
hat_ladung(wagen10_4, keine).
ladungs_nummer(wagen10_4, 0).
hat_fenster(wagen10_4, keine).
wagen_typ(wagen10_4, personenwagen).
passagier_nummer(wagen10_4, 0).
hat_wagen(zug10, wagen10_5).
wagen_nummer(wagen10_5, 5).
wagen_farbe(wagen10_5, gruen).
wagen_laenge(wagen10_5, lang).
hat_wand(wagen10_5, voll).
hat_dach(wagen10_5, festes_dach).
hat_rad(wagen10_5, 3).
hat_ladung(wagen10_5, metall_topf).
ladungs_nummer(wagen10_5, 3).
hat_fenster(wagen10_5, halb).
wagen_typ(wagen10_5, gemischt).
passagier_nummer(wagen10_5, 4).
hat_wagen(zug10, wagen10_6).
wagen_nummer(wagen10_6, 6).
wagen_farbe(wagen10_6, rot).
wagen_laenge(wagen10_6, lang).
hat_wand(wagen10_6, gelaender).
hat_dach(wagen10_6, festes_dach).
hat_rad(wagen10_6, 2).
hat_ladung(wagen10_6, keine).
ladungs_nummer(wagen10_6, 0).
hat_fenster(wagen10_6, halb).
wagen_typ(wagen10_6, personenwagen).
passagier_nummer(wagen10_6, 4).

ost(zug11).
hat_wagen(zug11, wagen11_1).
wagen_nummer(wagen11_1, 1).
wagen_farbe(wagen11_1, gruen).
wagen_laenge(wagen11_1, kurz).
hat_wand(wagen11_1, voll).
hat_dach(wagen11_1, verstrebtes_dach).
hat_rad(wagen11_1, 2).
hat_ladung(wagen11_1, keine).
ladungs_nummer(wagen11_1, 0).
hat_fenster(wagen11_1, halb).
wagen_typ(wagen11_1, personenwagen).
passagier_nummer(wagen11_1, 6).
hat_wagen(zug11, wagen11_2).
wagen_nummer(wagen11_2, 2).
wagen_farbe(wagen11_2, gelb).
wagen_laenge(wagen11_2, kurz).
hat_wand(wagen11_2, gelaender).
hat_dach(wagen11_2, spitzdach).
hat_rad(wagen11_2, 2).
hat_ladung(wagen11_2, keine).
ladungs_nummer(wagen11_2, 0).
hat_fenster(wagen11_2, halb).
wagen_typ(wagen11_2, personenwagen).
passagier_nummer(wagen11_2, 10).
hat_wagen(zug11, wagen11_3).
wagen_nummer(wagen11_3, 3).
wagen_farbe(wagen11_3, weiss).
wagen_laenge(wagen11_3, lang).
hat_wand(wagen11_3, gelaender).
hat_dach(wagen11_3, festes_dach).
hat_rad(wagen11_3, 3).
hat_ladung(wagen11_3, diamant).
ladungs_nummer(wagen11_3, 3).
hat_fenster(wagen11_3, voll).
wagen_typ(wagen11_3, gueterwagen).
passagier_nummer(wagen11_3, 0).
hat_wagen(zug11, wagen11_4).
wagen_nummer(wagen11_4, 4).
wagen_farbe(wagen11_4, weiss).
wagen_laenge(wagen11_4, kurz).
hat_wand(wagen11_4, voll).
hat_dach(wagen11_4, dach_fundament).
hat_rad(wagen11_4, 2).
hat_ladung(wagen11_4, ovale_vase).
ladungs_nummer(wagen11_4, 1).
hat_fenster(wagen11_4, halb).
wagen_typ(wagen11_4, gueterwagen).
passagier_nummer(wagen11_4, 0).
hat_wagen(zug11, wagen11_5).
wagen_nummer(wagen11_5, 5).
wagen_farbe(wagen11_5, gruen).
wagen_laenge(wagen11_5, lang).
hat_wand(wagen11_5, voll).
hat_dach(wagen11_5, festes_dach).
hat_rad(wagen11_5, 2).
hat_ladung(wagen11_5, fass).
ladungs_nummer(wagen11_5, 2).
hat_fenster(wagen11_5, halb).
wagen_typ(wagen11_5, gueterwagen).
passagier_nummer(wagen11_5, 0).

ost(zug12).
hat_wagen(zug12, wagen12_1).
wagen_nummer(wagen12_1, 1).
wagen_farbe(wagen12_1, gelb).
wagen_laenge(wagen12_1, kurz).
hat_wand(wagen12_1, voll).
hat_dach(wagen12_1, spitzdach).
hat_rad(wagen12_1, 2).
hat_ladung(wagen12_1, keine).
ladungs_nummer(wagen12_1, 0).
hat_fenster(wagen12_1, keine).
wagen_typ(wagen12_1, personenwagen).
passagier_nummer(wagen12_1, 0).
hat_wagen(zug12, wagen12_2).
wagen_nummer(wagen12_2, 2).
wagen_farbe(wagen12_2, weiss).
wagen_laenge(wagen12_2, kurz).
hat_wand(wagen12_2, gelaender).
hat_dach(wagen12_2, spitzdach).
hat_rad(wagen12_2, 2).
hat_ladung(wagen12_2, keine).
ladungs_nummer(wagen12_2, 0).
hat_fenster(wagen12_2, keine).
wagen_typ(wagen12_2, personenwagen).
passagier_nummer(wagen12_2, 9).
hat_wagen(zug12, wagen12_3).
wagen_nummer(wagen12_3, 3).
wagen_farbe(wagen12_3, blau).
wagen_laenge(wagen12_3, lang).
hat_wand(wagen12_3, gelaender).
hat_dach(wagen12_3, verstrebtes_dach).
hat_rad(wagen12_3, 3).
hat_ladung(wagen12_3, diamant).
ladungs_nummer(wagen12_3, 1).
hat_fenster(wagen12_3, halb).
wagen_typ(wagen12_3, gueterwagen).
passagier_nummer(wagen12_3, 0).
hat_wagen(zug12, wagen12_4).
wagen_nummer(wagen12_4, 4).
wagen_farbe(wagen12_4, weiss).
wagen_laenge(wagen12_4, kurz).
hat_wand(wagen12_4, voll).
hat_dach(wagen12_4, verstrebtes_dach).
hat_rad(wagen12_4, 2).
hat_ladung(wagen12_4, goldene_vase).
ladungs_nummer(wagen12_4, 1).
hat_fenster(wagen12_4, halb).
wagen_typ(wagen12_4, gueterwagen).
passagier_nummer(wagen12_4, 0).
hat_wagen(zug12, wagen12_5).
wagen_nummer(wagen12_5, 5).
wagen_farbe(wagen12_5, gelb).
wagen_laenge(wagen12_5, lang).
hat_wand(wagen12_5, gelaender).
hat_dach(wagen12_5, festes_dach).
hat_rad(wagen12_5, 3).
hat_ladung(wagen12_5, keine).
ladungs_nummer(wagen12_5, 0).
hat_fenster(wagen12_5, keine).
wagen_typ(wagen12_5, gemischt).
passagier_nummer(wagen12_5, 6).

west(zug13).
hat_wagen(zug13, wagen13_1).
wagen_nummer(wagen13_1, 1).
wagen_farbe(wagen13_1, gelb).
wagen_laenge(wagen13_1, kurz).
hat_wand(wagen13_1, voll).
hat_dach(wagen13_1, spitzdach).
hat_rad(wagen13_1, 2).
hat_ladung(wagen13_1, keine).
ladungs_nummer(wagen13_1, 0).
hat_fenster(wagen13_1, keine).
wagen_typ(wagen13_1, personenwagen).
passagier_nummer(wagen13_1, 8).
hat_wagen(zug13, wagen13_2).
wagen_nummer(wagen13_2, 2).
wagen_farbe(wagen13_2, gruen).
wagen_laenge(wagen13_2, kurz).
hat_wand(wagen13_2, voll).
hat_dach(wagen13_2, verstrebtes_dach).
hat_rad(wagen13_2, 2).
hat_ladung(wagen13_2, blaue_box).
ladungs_nummer(wagen13_2, 1).
hat_fenster(wagen13_2, halb).
wagen_typ(wagen13_2, gemischt).
passagier_nummer(wagen13_2, 5).
hat_wagen(zug13, wagen13_3).
wagen_nummer(wagen13_3, 3).
wagen_farbe(wagen13_3, weiss).
wagen_laenge(wagen13_3, kurz).
hat_wand(wagen13_3, voll).
hat_dach(wagen13_3, spitzdach).
hat_rad(wagen13_3, 2).
hat_ladung(wagen13_3, metall_topf).
ladungs_nummer(wagen13_3, 2).
hat_fenster(wagen13_3, keine).
wagen_typ(wagen13_3, gueterwagen).
passagier_nummer(wagen13_3, 0).
hat_wagen(zug13, wagen13_4).
wagen_nummer(wagen13_4, 4).
wagen_farbe(wagen13_4, gruen).
wagen_laenge(wagen13_4, kurz).
hat_wand(wagen13_4, gelaender).
hat_dach(wagen13_4, festes_dach).
hat_rad(wagen13_4, 2).
hat_ladung(wagen13_4, blaue_box).
ladungs_nummer(wagen13_4, 2).
hat_fenster(wagen13_4, voll).
wagen_typ(wagen13_4, gemischt).
passagier_nummer(wagen13_4, 8).
hat_wagen(zug13, wagen13_5).
wagen_nummer(wagen13_5, 5).
wagen_farbe(wagen13_5, gelb).
wagen_laenge(wagen13_5, lang).
hat_wand(wagen13_5, voll).
hat_dach(wagen13_5, festes_dach).
hat_rad(wagen13_5, 3).
hat_ladung(wagen13_5, keine).
ladungs_nummer(wagen13_5, 0).
hat_fenster(wagen13_5, voll).
wagen_typ(wagen13_5, personenwagen).
passagier_nummer(wagen13_5, 10).
hat_wagen(zug13, wagen13_6).
wagen_nummer(wagen13_6, 6).
wagen_farbe(wagen13_6, blau).
wagen_laenge(wagen13_6, kurz).
hat_wand(wagen13_6, voll).
hat_dach(wagen13_6, festes_dach).
hat_rad(wagen13_6, 2).
hat_ladung(wagen13_6, fass).
ladungs_nummer(wagen13_6, 1).
hat_fenster(wagen13_6, halb).
wagen_typ(wagen13_6, gueterwagen).
passagier_nummer(wagen13_6, 0).

ost(zug14).
hat_wagen(zug14, wagen14_1).
wagen_nummer(wagen14_1, 1).
wagen_farbe(wagen14_1, blau).
wagen_laenge(wagen14_1, kurz).
hat_wand(wagen14_1, voll).
hat_dach(wagen14_1, dach_fundament).
hat_rad(wagen14_1, 2).
hat_ladung(wagen14_1, ovale_vase).
ladungs_nummer(wagen14_1, 1).
hat_fenster(wagen14_1, halb).
wagen_typ(wagen14_1, gueterwagen).
passagier_nummer(wagen14_1, 0).
hat_wagen(zug14, wagen14_2).
wagen_nummer(wagen14_2, 2).
wagen_farbe(wagen14_2, gruen).
wagen_laenge(wagen14_2, lang).
hat_wand(wagen14_2, voll).
hat_dach(wagen14_2, verstrebtes_dach).
hat_rad(wagen14_2, 3).
hat_ladung(wagen14_2, metall_topf).
ladungs_nummer(wagen14_2, 1).
hat_fenster(wagen14_2, voll).
wagen_typ(wagen14_2, gemischt).
passagier_nummer(wagen14_2, 9).
hat_wagen(zug14, wagen14_3).
wagen_nummer(wagen14_3, 3).
wagen_farbe(wagen14_3, blau).
wagen_laenge(wagen14_3, lang).
hat_wand(wagen14_3, voll).
hat_dach(wagen14_3, verstrebtes_dach).
hat_rad(wagen14_3, 3).
hat_ladung(wagen14_3, keine).
ladungs_nummer(wagen14_3, 0).
hat_fenster(wagen14_3, voll).
wagen_typ(wagen14_3, personenwagen).
passagier_nummer(wagen14_3, 2).
hat_wagen(zug14, wagen14_4).
wagen_nummer(wagen14_4, 4).
wagen_farbe(wagen14_4, rot).
wagen_laenge(wagen14_4, lang).
hat_wand(wagen14_4, gelaender).
hat_dach(wagen14_4, verstrebtes_dach).
hat_rad(wagen14_4, 3).
hat_ladung(wagen14_4, ovale_vase).
ladungs_nummer(wagen14_4, 1).
hat_fenster(wagen14_4, voll).
wagen_typ(wagen14_4, gueterwagen).
passagier_nummer(wagen14_4, 0).
hat_wagen(zug14, wagen14_5).
wagen_nummer(wagen14_5, 5).
wagen_farbe(wagen14_5, rot).
wagen_laenge(wagen14_5, lang).
hat_wand(wagen14_5, gelaender).
hat_dach(wagen14_5, festes_dach).
hat_rad(wagen14_5, 3).
hat_ladung(wagen14_5, keine).
ladungs_nummer(wagen14_5, 0).
hat_fenster(wagen14_5, keine).
wagen_typ(wagen14_5, gueterwagen).
passagier_nummer(wagen14_5, 0).

west(zug15).
hat_wagen(zug15, wagen15_1).
wagen_nummer(wagen15_1, 1).
wagen_farbe(wagen15_1, rot).
wagen_laenge(wagen15_1, kurz).
hat_wand(wagen15_1, gelaender).
hat_dach(wagen15_1, keine).
hat_rad(wagen15_1, 2).
hat_ladung(wagen15_1, diamant).
ladungs_nummer(wagen15_1, 2).
hat_fenster(wagen15_1, halb).
wagen_typ(wagen15_1, gemischt).
passagier_nummer(wagen15_1, 8).
hat_wagen(zug15, wagen15_2).
wagen_nummer(wagen15_2, 2).
wagen_farbe(wagen15_2, weiss).
wagen_laenge(wagen15_2, lang).
hat_wand(wagen15_2, voll).
hat_dach(wagen15_2, verstrebtes_dach).
hat_rad(wagen15_2, 2).
hat_ladung(wagen15_2, keine).
ladungs_nummer(wagen15_2, 0).
hat_fenster(wagen15_2, voll).
wagen_typ(wagen15_2, gemischt).
passagier_nummer(wagen15_2, 0).
hat_wagen(zug15, wagen15_3).
wagen_nummer(wagen15_3, 3).
wagen_farbe(wagen15_3, gelb).
wagen_laenge(wagen15_3, kurz).
hat_wand(wagen15_3, voll).
hat_dach(wagen15_3, festes_dach).
hat_rad(wagen15_3, 2).
hat_ladung(wagen15_3, keine).
ladungs_nummer(wagen15_3, 0).
hat_fenster(wagen15_3, keine).
wagen_typ(wagen15_3, gemischt).
passagier_nummer(wagen15_3, 10).
hat_wagen(zug15, wagen15_4).
wagen_nummer(wagen15_4, 4).
wagen_farbe(wagen15_4, gruen).
wagen_laenge(wagen15_4, kurz).
hat_wand(wagen15_4, voll).
hat_dach(wagen15_4, festes_dach).
hat_rad(wagen15_4, 2).
hat_ladung(wagen15_4, metall_topf).
ladungs_nummer(wagen15_4, 1).
hat_fenster(wagen15_4, keine).
wagen_typ(wagen15_4, gemischt).
passagier_nummer(wagen15_4, 3).
hat_wagen(zug15, wagen15_5).
wagen_nummer(wagen15_5, 5).
wagen_farbe(wagen15_5, gruen).
wagen_laenge(wagen15_5, kurz).
hat_wand(wagen15_5, gelaender).
hat_dach(wagen15_5, keine).
hat_rad(wagen15_5, 2).
hat_ladung(wagen15_5, keine).
ladungs_nummer(wagen15_5, 0).
hat_fenster(wagen15_5, halb).
wagen_typ(wagen15_5, personenwagen).
passagier_nummer(wagen15_5, 7).
hat_wagen(zug15, wagen15_6).
wagen_nummer(wagen15_6, 6).
wagen_farbe(wagen15_6, blau).
wagen_laenge(wagen15_6, kurz).
hat_wand(wagen15_6, gelaender).
hat_dach(wagen15_6, verstrebtes_dach).
hat_rad(wagen15_6, 2).
hat_ladung(wagen15_6, keine).
ladungs_nummer(wagen15_6, 0).
hat_fenster(wagen15_6, voll).
wagen_typ(wagen15_6, personenwagen).
passagier_nummer(wagen15_6, 9).

west(zug16).
hat_wagen(zug16, wagen16_1).
wagen_nummer(wagen16_1, 1).
wagen_farbe(wagen16_1, gruen).
wagen_laenge(wagen16_1, kurz).
hat_wand(wagen16_1, voll).
hat_dach(wagen16_1, festes_dach).
hat_rad(wagen16_1, 2).
hat_ladung(wagen16_1, goldene_vase).
ladungs_nummer(wagen16_1, 2).
hat_fenster(wagen16_1, voll).
wagen_typ(wagen16_1, gueterwagen).
passagier_nummer(wagen16_1, 0).
hat_wagen(zug16, wagen16_2).
wagen_nummer(wagen16_2, 2).
wagen_farbe(wagen16_2, gruen).
wagen_laenge(wagen16_2, lang).
hat_wand(wagen16_2, voll).
hat_dach(wagen16_2, spitzdach).
hat_rad(wagen16_2, 2).
hat_ladung(wagen16_2, blaue_box).
ladungs_nummer(wagen16_2, 3).
hat_fenster(wagen16_2, voll).
wagen_typ(wagen16_2, gemischt).
passagier_nummer(wagen16_2, 1).
hat_wagen(zug16, wagen16_3).
wagen_nummer(wagen16_3, 3).
wagen_farbe(wagen16_3, gelb).
wagen_laenge(wagen16_3, kurz).
hat_wand(wagen16_3, voll).
hat_dach(wagen16_3, keine).
hat_rad(wagen16_3, 2).
hat_ladung(wagen16_3, keine).
ladungs_nummer(wagen16_3, 0).
hat_fenster(wagen16_3, keine).
wagen_typ(wagen16_3, gemischt).
passagier_nummer(wagen16_3, 7).
hat_wagen(zug16, wagen16_4).
wagen_nummer(wagen16_4, 4).
wagen_farbe(wagen16_4, gelb).
wagen_laenge(wagen16_4, kurz).
hat_wand(wagen16_4, voll).
hat_dach(wagen16_4, dach_fundament).
hat_rad(wagen16_4, 2).
hat_ladung(wagen16_4, diamant).
ladungs_nummer(wagen16_4, 2).
hat_fenster(wagen16_4, voll).
wagen_typ(wagen16_4, gemischt).
passagier_nummer(wagen16_4, 8).
hat_wagen(zug16, wagen16_5).
wagen_nummer(wagen16_5, 5).
wagen_farbe(wagen16_5, gelb).
wagen_laenge(wagen16_5, lang).
hat_wand(wagen16_5, voll).
hat_dach(wagen16_5, festes_dach).
hat_rad(wagen16_5, 2).
hat_ladung(wagen16_5, keine).
ladungs_nummer(wagen16_5, 0).
hat_fenster(wagen16_5, keine).
wagen_typ(wagen16_5, personenwagen).
passagier_nummer(wagen16_5, 10).
hat_wagen(zug16, wagen16_6).
wagen_nummer(wagen16_6, 6).
wagen_farbe(wagen16_6, gruen).
wagen_laenge(wagen16_6, kurz).
hat_wand(wagen16_6, gelaender).
hat_dach(wagen16_6, verstrebtes_dach).
hat_rad(wagen16_6, 2).
hat_ladung(wagen16_6, keine).
ladungs_nummer(wagen16_6, 0).
hat_fenster(wagen16_6, keine).
wagen_typ(wagen16_6, personenwagen).
passagier_nummer(wagen16_6, 6).

west(zug17).
hat_wagen(zug17, wagen17_1).
wagen_nummer(wagen17_1, 1).
wagen_farbe(wagen17_1, blau).
wagen_laenge(wagen17_1, kurz).
hat_wand(wagen17_1, voll).
hat_dach(wagen17_1, keine).
hat_rad(wagen17_1, 2).
hat_ladung(wagen17_1, metall_topf).
ladungs_nummer(wagen17_1, 1).
hat_fenster(wagen17_1, halb).
wagen_typ(wagen17_1, gemischt).
passagier_nummer(wagen17_1, 10).
hat_wagen(zug17, wagen17_2).
wagen_nummer(wagen17_2, 2).
wagen_farbe(wagen17_2, gruen).
wagen_laenge(wagen17_2, lang).
hat_wand(wagen17_2, voll).
hat_dach(wagen17_2, dach_fundament).
hat_rad(wagen17_2, 2).
hat_ladung(wagen17_2, goldene_vase).
ladungs_nummer(wagen17_2, 3).
hat_fenster(wagen17_2, keine).
wagen_typ(wagen17_2, gemischt).
passagier_nummer(wagen17_2, 10).
hat_wagen(zug17, wagen17_3).
wagen_nummer(wagen17_3, 3).
wagen_farbe(wagen17_3, gelb).
wagen_laenge(wagen17_3, kurz).
hat_wand(wagen17_3, gelaender).
hat_dach(wagen17_3, spitzdach).
hat_rad(wagen17_3, 2).
hat_ladung(wagen17_3, keine).
ladungs_nummer(wagen17_3, 0).
hat_fenster(wagen17_3, keine).
wagen_typ(wagen17_3, personenwagen).
passagier_nummer(wagen17_3, 4).
hat_wagen(zug17, wagen17_4).
wagen_nummer(wagen17_4, 4).
wagen_farbe(wagen17_4, weiss).
wagen_laenge(wagen17_4, kurz).
hat_wand(wagen17_4, voll).
hat_dach(wagen17_4, verstrebtes_dach).
hat_rad(wagen17_4, 2).
hat_ladung(wagen17_4, ovale_vase).
ladungs_nummer(wagen17_4, 2).
hat_fenster(wagen17_4, voll).
wagen_typ(wagen17_4, gemischt).
passagier_nummer(wagen17_4, 7).
hat_wagen(zug17, wagen17_5).
wagen_nummer(wagen17_5, 5).
wagen_farbe(wagen17_5, blau).
wagen_laenge(wagen17_5, lang).
hat_wand(wagen17_5, voll).
hat_dach(wagen17_5, keine).
hat_rad(wagen17_5, 2).
hat_ladung(wagen17_5, keine).
ladungs_nummer(wagen17_5, 0).
hat_fenster(wagen17_5, keine).
wagen_typ(wagen17_5, personenwagen).
passagier_nummer(wagen17_5, 7).
hat_wagen(zug17, wagen17_6).
wagen_nummer(wagen17_6, 6).
wagen_farbe(wagen17_6, rot).
wagen_laenge(wagen17_6, kurz).
hat_wand(wagen17_6, gelaender).
hat_dach(wagen17_6, keine).
hat_rad(wagen17_6, 2).
hat_ladung(wagen17_6, keine).
ladungs_nummer(wagen17_6, 0).
hat_fenster(wagen17_6, halb).
wagen_typ(wagen17_6, personenwagen).
passagier_nummer(wagen17_6, 6).

ost(zug18).
hat_wagen(zug18, wagen18_1).
wagen_nummer(wagen18_1, 1).
wagen_farbe(wagen18_1, weiss).
wagen_laenge(wagen18_1, lang).
hat_wand(wagen18_1, voll).
hat_dach(wagen18_1, keine).
hat_rad(wagen18_1, 2).
hat_ladung(wagen18_1, keine).
ladungs_nummer(wagen18_1, 0).
hat_fenster(wagen18_1, keine).
wagen_typ(wagen18_1, personenwagen).
passagier_nummer(wagen18_1, 0).
hat_wagen(zug18, wagen18_2).
wagen_nummer(wagen18_2, 2).
wagen_farbe(wagen18_2, rot).
wagen_laenge(wagen18_2, kurz).
hat_wand(wagen18_2, gelaender).
hat_dach(wagen18_2, dach_fundament).
hat_rad(wagen18_2, 2).
hat_ladung(wagen18_2, keine).
ladungs_nummer(wagen18_2, 0).
hat_fenster(wagen18_2, halb).
wagen_typ(wagen18_2, personenwagen).
passagier_nummer(wagen18_2, 8).
hat_wagen(zug18, wagen18_3).
wagen_nummer(wagen18_3, 3).
wagen_farbe(wagen18_3, weiss).
wagen_laenge(wagen18_3, lang).
hat_wand(wagen18_3, gelaender).
hat_dach(wagen18_3, festes_dach).
hat_rad(wagen18_3, 2).
hat_ladung(wagen18_3, keine).
ladungs_nummer(wagen18_3, 0).
hat_fenster(wagen18_3, halb).
wagen_typ(wagen18_3, gueterwagen).
passagier_nummer(wagen18_3, 0).
hat_wagen(zug18, wagen18_4).
wagen_nummer(wagen18_4, 4).
wagen_farbe(wagen18_4, gelb).
wagen_laenge(wagen18_4, kurz).
hat_wand(wagen18_4, voll).
hat_dach(wagen18_4, festes_dach).
hat_rad(wagen18_4, 2).
hat_ladung(wagen18_4, keine).
ladungs_nummer(wagen18_4, 0).
hat_fenster(wagen18_4, keine).
wagen_typ(wagen18_4, gemischt).
passagier_nummer(wagen18_4, 2).
hat_wagen(zug18, wagen18_5).
wagen_nummer(wagen18_5, 5).
wagen_farbe(wagen18_5, weiss).
wagen_laenge(wagen18_5, kurz).
hat_wand(wagen18_5, voll).
hat_dach(wagen18_5, dach_fundament).
hat_rad(wagen18_5, 2).
hat_ladung(wagen18_5, keine).
ladungs_nummer(wagen18_5, 0).
hat_fenster(wagen18_5, keine).
wagen_typ(wagen18_5, personenwagen).
passagier_nummer(wagen18_5, 4).

ost(zug19).
hat_wagen(zug19, wagen19_1).
wagen_nummer(wagen19_1, 1).
wagen_farbe(wagen19_1, blau).
wagen_laenge(wagen19_1, lang).
hat_wand(wagen19_1, voll).
hat_dach(wagen19_1, spitzdach).
hat_rad(wagen19_1, 3).
hat_ladung(wagen19_1, goldene_vase).
ladungs_nummer(wagen19_1, 3).
hat_fenster(wagen19_1, voll).
wagen_typ(wagen19_1, gemischt).
passagier_nummer(wagen19_1, 10).
hat_wagen(zug19, wagen19_2).
wagen_nummer(wagen19_2, 2).
wagen_farbe(wagen19_2, rot).
wagen_laenge(wagen19_2, lang).
hat_wand(wagen19_2, voll).
hat_dach(wagen19_2, keine).
hat_rad(wagen19_2, 3).
hat_ladung(wagen19_2, keine).
ladungs_nummer(wagen19_2, 0).
hat_fenster(wagen19_2, voll).
wagen_typ(wagen19_2, personenwagen).
passagier_nummer(wagen19_2, 8).
hat_wagen(zug19, wagen19_3).
wagen_nummer(wagen19_3, 3).
wagen_farbe(wagen19_3, blau).
wagen_laenge(wagen19_3, lang).
hat_wand(wagen19_3, voll).
hat_dach(wagen19_3, keine).
hat_rad(wagen19_3, 3).
hat_ladung(wagen19_3, blaue_box).
ladungs_nummer(wagen19_3, 2).
hat_fenster(wagen19_3, voll).
wagen_typ(wagen19_3, gueterwagen).
passagier_nummer(wagen19_3, 0).
hat_wagen(zug19, wagen19_4).
wagen_nummer(wagen19_4, 4).
wagen_farbe(wagen19_4, gruen).
wagen_laenge(wagen19_4, lang).
hat_wand(wagen19_4, voll).
hat_dach(wagen19_4, spitzdach).
hat_rad(wagen19_4, 3).
hat_ladung(wagen19_4, ovale_vase).
ladungs_nummer(wagen19_4, 3).
hat_fenster(wagen19_4, halb).
wagen_typ(wagen19_4, gemischt).
passagier_nummer(wagen19_4, 4).
hat_wagen(zug19, wagen19_5).
wagen_nummer(wagen19_5, 5).
wagen_farbe(wagen19_5, gruen).
wagen_laenge(wagen19_5, lang).
hat_wand(wagen19_5, gelaender).
hat_dach(wagen19_5, verstrebtes_dach).
hat_rad(wagen19_5, 3).
hat_ladung(wagen19_5, blaue_box).
ladungs_nummer(wagen19_5, 1).
hat_fenster(wagen19_5, keine).
wagen_typ(wagen19_5, gueterwagen).
passagier_nummer(wagen19_5, 0).

west(zug20).
hat_wagen(zug20, wagen20_1).
wagen_nummer(wagen20_1, 1).
wagen_farbe(wagen20_1, blau).
wagen_laenge(wagen20_1, kurz).
hat_wand(wagen20_1, voll).
hat_dach(wagen20_1, keine).
hat_rad(wagen20_1, 2).
hat_ladung(wagen20_1, goldene_vase).
ladungs_nummer(wagen20_1, 1).
hat_fenster(wagen20_1, keine).
wagen_typ(wagen20_1, gemischt).
passagier_nummer(wagen20_1, 5).
hat_wagen(zug20, wagen20_2).
wagen_nummer(wagen20_2, 2).
wagen_farbe(wagen20_2, blau).
wagen_laenge(wagen20_2, kurz).
hat_wand(wagen20_2, voll).
hat_dach(wagen20_2, festes_dach).
hat_rad(wagen20_2, 2).
hat_ladung(wagen20_2, keine).
ladungs_nummer(wagen20_2, 0).
hat_fenster(wagen20_2, keine).
wagen_typ(wagen20_2, gemischt).
passagier_nummer(wagen20_2, 3).
hat_wagen(zug20, wagen20_3).
wagen_nummer(wagen20_3, 3).
wagen_farbe(wagen20_3, weiss).
wagen_laenge(wagen20_3, kurz).
hat_wand(wagen20_3, voll).
hat_dach(wagen20_3, dach_fundament).
hat_rad(wagen20_3, 2).
hat_ladung(wagen20_3, keine).
ladungs_nummer(wagen20_3, 0).
hat_fenster(wagen20_3, halb).
wagen_typ(wagen20_3, personenwagen).
passagier_nummer(wagen20_3, 2).
hat_wagen(zug20, wagen20_4).
wagen_nummer(wagen20_4, 4).
wagen_farbe(wagen20_4, rot).
wagen_laenge(wagen20_4, lang).
hat_wand(wagen20_4, gelaender).
hat_dach(wagen20_4, keine).
hat_rad(wagen20_4, 2).
hat_ladung(wagen20_4, keine).
ladungs_nummer(wagen20_4, 0).
hat_fenster(wagen20_4, halb).
wagen_typ(wagen20_4, personenwagen).
passagier_nummer(wagen20_4, 4).
hat_wagen(zug20, wagen20_5).
wagen_nummer(wagen20_5, 5).
wagen_farbe(wagen20_5, blau).
wagen_laenge(wagen20_5, lang).
hat_wand(wagen20_5, voll).
hat_dach(wagen20_5, keine).
hat_rad(wagen20_5, 2).
hat_ladung(wagen20_5, fass).
ladungs_nummer(wagen20_5, 1).
hat_fenster(wagen20_5, halb).
wagen_typ(wagen20_5, gemischt).
passagier_nummer(wagen20_5, 3).
hat_wagen(zug20, wagen20_6).
wagen_nummer(wagen20_6, 6).
wagen_farbe(wagen20_6, gruen).
wagen_laenge(wagen20_6, kurz).
hat_wand(wagen20_6, voll).
hat_dach(wagen20_6, festes_dach).
hat_rad(wagen20_6, 2).
hat_ladung(wagen20_6, keine).
ladungs_nummer(wagen20_6, 0).
hat_fenster(wagen20_6, voll).
wagen_typ(wagen20_6, personenwagen).
passagier_nummer(wagen20_6, 2).

west(zug21).
hat_wagen(zug21, wagen21_1).
wagen_nummer(wagen21_1, 1).
wagen_farbe(wagen21_1, weiss).
wagen_laenge(wagen21_1, kurz).
hat_wand(wagen21_1, gelaender).
hat_dach(wagen21_1, verstrebtes_dach).
hat_rad(wagen21_1, 2).
hat_ladung(wagen21_1, keine).
ladungs_nummer(wagen21_1, 0).
hat_fenster(wagen21_1, voll).
wagen_typ(wagen21_1, personenwagen).
passagier_nummer(wagen21_1, 2).
hat_wagen(zug21, wagen21_2).
wagen_nummer(wagen21_2, 2).
wagen_farbe(wagen21_2, blau).
wagen_laenge(wagen21_2, lang).
hat_wand(wagen21_2, voll).
hat_dach(wagen21_2, dach_fundament).
hat_rad(wagen21_2, 2).
hat_ladung(wagen21_2, blaue_box).
ladungs_nummer(wagen21_2, 2).
hat_fenster(wagen21_2, halb).
wagen_typ(wagen21_2, gueterwagen).
passagier_nummer(wagen21_2, 0).
hat_wagen(zug21, wagen21_3).
wagen_nummer(wagen21_3, 3).
wagen_farbe(wagen21_3, gruen).
wagen_laenge(wagen21_3, lang).
hat_wand(wagen21_3, gelaender).
hat_dach(wagen21_3, dach_fundament).
hat_rad(wagen21_3, 2).
hat_ladung(wagen21_3, diamant).
ladungs_nummer(wagen21_3, 2).
hat_fenster(wagen21_3, voll).
wagen_typ(wagen21_3, gueterwagen).
passagier_nummer(wagen21_3, 0).
hat_wagen(zug21, wagen21_4).
wagen_nummer(wagen21_4, 4).
wagen_farbe(wagen21_4, gelb).
wagen_laenge(wagen21_4, kurz).
hat_wand(wagen21_4, voll).
hat_dach(wagen21_4, spitzdach).
hat_rad(wagen21_4, 2).
hat_ladung(wagen21_4, fass).
ladungs_nummer(wagen21_4, 2).
hat_fenster(wagen21_4, keine).
wagen_typ(wagen21_4, gemischt).
passagier_nummer(wagen21_4, 2).
hat_wagen(zug21, wagen21_5).
wagen_nummer(wagen21_5, 5).
wagen_farbe(wagen21_5, gruen).
wagen_laenge(wagen21_5, lang).
hat_wand(wagen21_5, gelaender).
hat_dach(wagen21_5, festes_dach).
hat_rad(wagen21_5, 2).
hat_ladung(wagen21_5, keine).
ladungs_nummer(wagen21_5, 0).
hat_fenster(wagen21_5, halb).
wagen_typ(wagen21_5, gueterwagen).
passagier_nummer(wagen21_5, 0).
hat_wagen(zug21, wagen21_6).
wagen_nummer(wagen21_6, 6).
wagen_farbe(wagen21_6, weiss).
wagen_laenge(wagen21_6, kurz).
hat_wand(wagen21_6, voll).
hat_dach(wagen21_6, spitzdach).
hat_rad(wagen21_6, 2).
hat_ladung(wagen21_6, ovale_vase).
ladungs_nummer(wagen21_6, 1).
hat_fenster(wagen21_6, voll).
wagen_typ(wagen21_6, gueterwagen).
passagier_nummer(wagen21_6, 0).

ost(zug22).
hat_wagen(zug22, wagen22_1).
wagen_nummer(wagen22_1, 1).
wagen_farbe(wagen22_1, blau).
wagen_laenge(wagen22_1, kurz).
hat_wand(wagen22_1, voll).
hat_dach(wagen22_1, keine).
hat_rad(wagen22_1, 2).
hat_ladung(wagen22_1, keine).
ladungs_nummer(wagen22_1, 0).
hat_fenster(wagen22_1, voll).
wagen_typ(wagen22_1, personenwagen).
passagier_nummer(wagen22_1, 2).
hat_wagen(zug22, wagen22_2).
wagen_nummer(wagen22_2, 2).
wagen_farbe(wagen22_2, gruen).
wagen_laenge(wagen22_2, lang).
hat_wand(wagen22_2, gelaender).
hat_dach(wagen22_2, spitzdach).
hat_rad(wagen22_2, 3).
hat_ladung(wagen22_2, keine).
ladungs_nummer(wagen22_2, 0).
hat_fenster(wagen22_2, halb).
wagen_typ(wagen22_2, personenwagen).
passagier_nummer(wagen22_2, 8).
hat_wagen(zug22, wagen22_3).
wagen_nummer(wagen22_3, 3).
wagen_farbe(wagen22_3, weiss).
wagen_laenge(wagen22_3, lang).
hat_wand(wagen22_3, voll).
hat_dach(wagen22_3, keine).
hat_rad(wagen22_3, 3).
hat_ladung(wagen22_3, keine).
ladungs_nummer(wagen22_3, 0).
hat_fenster(wagen22_3, keine).
wagen_typ(wagen22_3, personenwagen).
passagier_nummer(wagen22_3, 6).
hat_wagen(zug22, wagen22_4).
wagen_nummer(wagen22_4, 4).
wagen_farbe(wagen22_4, gruen).
wagen_laenge(wagen22_4, lang).
hat_wand(wagen22_4, voll).
hat_dach(wagen22_4, spitzdach).
hat_rad(wagen22_4, 3).
hat_ladung(wagen22_4, ovale_vase).
ladungs_nummer(wagen22_4, 3).
hat_fenster(wagen22_4, halb).
wagen_typ(wagen22_4, gueterwagen).
passagier_nummer(wagen22_4, 0).
hat_wagen(zug22, wagen22_5).
wagen_nummer(wagen22_5, 5).
wagen_farbe(wagen22_5, gelb).
wagen_laenge(wagen22_5, lang).
hat_wand(wagen22_5, gelaender).
hat_dach(wagen22_5, keine).
hat_rad(wagen22_5, 3).
hat_ladung(wagen22_5, keine).
ladungs_nummer(wagen22_5, 0).
hat_fenster(wagen22_5, halb).
wagen_typ(wagen22_5, personenwagen).
passagier_nummer(wagen22_5, 5).

ost(zug23).
hat_wagen(zug23, wagen23_1).
wagen_nummer(wagen23_1, 1).
wagen_farbe(wagen23_1, rot).
wagen_laenge(wagen23_1, lang).
hat_wand(wagen23_1, gelaender).
hat_dach(wagen23_1, spitzdach).
hat_rad(wagen23_1, 3).
hat_ladung(wagen23_1, keine).
ladungs_nummer(wagen23_1, 0).
hat_fenster(wagen23_1, halb).
wagen_typ(wagen23_1, gueterwagen).
passagier_nummer(wagen23_1, 0).
hat_wagen(zug23, wagen23_2).
wagen_nummer(wagen23_2, 2).
wagen_farbe(wagen23_2, weiss).
wagen_laenge(wagen23_2, lang).
hat_wand(wagen23_2, voll).
hat_dach(wagen23_2, spitzdach).
hat_rad(wagen23_2, 3).
hat_ladung(wagen23_2, keine).
ladungs_nummer(wagen23_2, 0).
hat_fenster(wagen23_2, halb).
wagen_typ(wagen23_2, gemischt).
passagier_nummer(wagen23_2, 6).
hat_wagen(zug23, wagen23_3).
wagen_nummer(wagen23_3, 3).
wagen_farbe(wagen23_3, gruen).
wagen_laenge(wagen23_3, kurz).
hat_wand(wagen23_3, gelaender).
hat_dach(wagen23_3, keine).
hat_rad(wagen23_3, 2).
hat_ladung(wagen23_3, diamant).
ladungs_nummer(wagen23_3, 2).
hat_fenster(wagen23_3, halb).
wagen_typ(wagen23_3, gueterwagen).
passagier_nummer(wagen23_3, 0).
hat_wagen(zug23, wagen23_4).
wagen_nummer(wagen23_4, 4).
wagen_farbe(wagen23_4, gruen).
wagen_laenge(wagen23_4, lang).
hat_wand(wagen23_4, voll).
hat_dach(wagen23_4, festes_dach).
hat_rad(wagen23_4, 3).
hat_ladung(wagen23_4, diamant).
ladungs_nummer(wagen23_4, 2).
hat_fenster(wagen23_4, keine).
wagen_typ(wagen23_4, gemischt).
passagier_nummer(wagen23_4, 1).
hat_wagen(zug23, wagen23_5).
wagen_nummer(wagen23_5, 5).
wagen_farbe(wagen23_5, blau).
wagen_laenge(wagen23_5, kurz).
hat_wand(wagen23_5, gelaender).
hat_dach(wagen23_5, keine).
hat_rad(wagen23_5, 2).
hat_ladung(wagen23_5, diamant).
ladungs_nummer(wagen23_5, 2).
hat_fenster(wagen23_5, voll).
wagen_typ(wagen23_5, gemischt).
passagier_nummer(wagen23_5, 9).

ost(zug24).
hat_wagen(zug24, wagen24_1).
wagen_nummer(wagen24_1, 1).
wagen_farbe(wagen24_1, gruen).
wagen_laenge(wagen24_1, lang).
hat_wand(wagen24_1, voll).
hat_dach(wagen24_1, festes_dach).
hat_rad(wagen24_1, 2).
hat_ladung(wagen24_1, ovale_vase).
ladungs_nummer(wagen24_1, 3).
hat_fenster(wagen24_1, halb).
wagen_typ(wagen24_1, gemischt).
passagier_nummer(wagen24_1, 1).
hat_wagen(zug24, wagen24_2).
wagen_nummer(wagen24_2, 2).
wagen_farbe(wagen24_2, gelb).
wagen_laenge(wagen24_2, kurz).
hat_wand(wagen24_2, gelaender).
hat_dach(wagen24_2, festes_dach).
hat_rad(wagen24_2, 2).
hat_ladung(wagen24_2, diamant).
ladungs_nummer(wagen24_2, 1).
hat_fenster(wagen24_2, voll).
wagen_typ(wagen24_2, gemischt).
passagier_nummer(wagen24_2, 10).
hat_wagen(zug24, wagen24_3).
wagen_nummer(wagen24_3, 3).
wagen_farbe(wagen24_3, rot).
wagen_laenge(wagen24_3, kurz).
hat_wand(wagen24_3, voll).
hat_dach(wagen24_3, spitzdach).
hat_rad(wagen24_3, 2).
hat_ladung(wagen24_3, keine).
ladungs_nummer(wagen24_3, 0).
hat_fenster(wagen24_3, keine).
wagen_typ(wagen24_3, personenwagen).
passagier_nummer(wagen24_3, 6).
hat_wagen(zug24, wagen24_4).
wagen_nummer(wagen24_4, 4).
wagen_farbe(wagen24_4, gelb).
wagen_laenge(wagen24_4, kurz).
hat_wand(wagen24_4, gelaender).
hat_dach(wagen24_4, spitzdach).
hat_rad(wagen24_4, 2).
hat_ladung(wagen24_4, goldene_vase).
ladungs_nummer(wagen24_4, 1).
hat_fenster(wagen24_4, keine).
wagen_typ(wagen24_4, gueterwagen).
passagier_nummer(wagen24_4, 0).
hat_wagen(zug24, wagen24_5).
wagen_nummer(wagen24_5, 5).
wagen_farbe(wagen24_5, blau).
wagen_laenge(wagen24_5, lang).
hat_wand(wagen24_5, gelaender).
hat_dach(wagen24_5, spitzdach).
hat_rad(wagen24_5, 2).
hat_ladung(wagen24_5, keine).
ladungs_nummer(wagen24_5, 0).
hat_fenster(wagen24_5, halb).
wagen_typ(wagen24_5, personenwagen).
passagier_nummer(wagen24_5, 5).

west(zug25).
hat_wagen(zug25, wagen25_1).
wagen_nummer(wagen25_1, 1).
wagen_farbe(wagen25_1, weiss).
wagen_laenge(wagen25_1, lang).
hat_wand(wagen25_1, voll).
hat_dach(wagen25_1, verstrebtes_dach).
hat_rad(wagen25_1, 3).
hat_ladung(wagen25_1, ovale_vase).
ladungs_nummer(wagen25_1, 3).
hat_fenster(wagen25_1, voll).
wagen_typ(wagen25_1, gemischt).
passagier_nummer(wagen25_1, 3).
hat_wagen(zug25, wagen25_2).
wagen_nummer(wagen25_2, 2).
wagen_farbe(wagen25_2, gelb).
wagen_laenge(wagen25_2, kurz).
hat_wand(wagen25_2, gelaender).
hat_dach(wagen25_2, festes_dach).
hat_rad(wagen25_2, 2).
hat_ladung(wagen25_2, keine).
ladungs_nummer(wagen25_2, 0).
hat_fenster(wagen25_2, voll).
wagen_typ(wagen25_2, personenwagen).
passagier_nummer(wagen25_2, 1).
hat_wagen(zug25, wagen25_3).
wagen_nummer(wagen25_3, 3).
wagen_farbe(wagen25_3, gelb).
wagen_laenge(wagen25_3, kurz).
hat_wand(wagen25_3, voll).
hat_dach(wagen25_3, spitzdach).
hat_rad(wagen25_3, 2).
hat_ladung(wagen25_3, fass).
ladungs_nummer(wagen25_3, 1).
hat_fenster(wagen25_3, voll).
wagen_typ(wagen25_3, gemischt).
passagier_nummer(wagen25_3, 10).
hat_wagen(zug25, wagen25_4).
wagen_nummer(wagen25_4, 4).
wagen_farbe(wagen25_4, weiss).
wagen_laenge(wagen25_4, lang).
hat_wand(wagen25_4, voll).
hat_dach(wagen25_4, keine).
hat_rad(wagen25_4, 2).
hat_ladung(wagen25_4, goldene_vase).
ladungs_nummer(wagen25_4, 1).
hat_fenster(wagen25_4, keine).
wagen_typ(wagen25_4, gueterwagen).
passagier_nummer(wagen25_4, 0).
hat_wagen(zug25, wagen25_5).
wagen_nummer(wagen25_5, 5).
wagen_farbe(wagen25_5, weiss).
wagen_laenge(wagen25_5, kurz).
hat_wand(wagen25_5, gelaender).
hat_dach(wagen25_5, keine).
hat_rad(wagen25_5, 2).
hat_ladung(wagen25_5, keine).
ladungs_nummer(wagen25_5, 0).
hat_fenster(wagen25_5, keine).
wagen_typ(wagen25_5, personenwagen).
passagier_nummer(wagen25_5, 9).
hat_wagen(zug25, wagen25_6).
wagen_nummer(wagen25_6, 6).
wagen_farbe(wagen25_6, gruen).
wagen_laenge(wagen25_6, lang).
hat_wand(wagen25_6, voll).
hat_dach(wagen25_6, dach_fundament).
hat_rad(wagen25_6, 2).
hat_ladung(wagen25_6, keine).
ladungs_nummer(wagen25_6, 0).
hat_fenster(wagen25_6, halb).
wagen_typ(wagen25_6, personenwagen).
passagier_nummer(wagen25_6, 2).

west(zug26).
hat_wagen(zug26, wagen26_1).
wagen_nummer(wagen26_1, 1).
wagen_farbe(wagen26_1, blau).
wagen_laenge(wagen26_1, lang).
hat_wand(wagen26_1, voll).
hat_dach(wagen26_1, dach_fundament).
hat_rad(wagen26_1, 3).
hat_ladung(wagen26_1, keine).
ladungs_nummer(wagen26_1, 0).
hat_fenster(wagen26_1, halb).
wagen_typ(wagen26_1, gueterwagen).
passagier_nummer(wagen26_1, 0).
hat_wagen(zug26, wagen26_2).
wagen_nummer(wagen26_2, 2).
wagen_farbe(wagen26_2, rot).
wagen_laenge(wagen26_2, kurz).
hat_wand(wagen26_2, gelaender).
hat_dach(wagen26_2, spitzdach).
hat_rad(wagen26_2, 2).
hat_ladung(wagen26_2, fass).
ladungs_nummer(wagen26_2, 2).
hat_fenster(wagen26_2, keine).
wagen_typ(wagen26_2, gemischt).
passagier_nummer(wagen26_2, 8).
hat_wagen(zug26, wagen26_3).
wagen_nummer(wagen26_3, 3).
wagen_farbe(wagen26_3, gruen).
wagen_laenge(wagen26_3, kurz).
hat_wand(wagen26_3, voll).
hat_dach(wagen26_3, verstrebtes_dach).
hat_rad(wagen26_3, 2).
hat_ladung(wagen26_3, goldene_vase).
ladungs_nummer(wagen26_3, 2).
hat_fenster(wagen26_3, keine).
wagen_typ(wagen26_3, gemischt).
passagier_nummer(wagen26_3, 7).
hat_wagen(zug26, wagen26_4).
wagen_nummer(wagen26_4, 4).
wagen_farbe(wagen26_4, weiss).
wagen_laenge(wagen26_4, kurz).
hat_wand(wagen26_4, gelaender).
hat_dach(wagen26_4, verstrebtes_dach).
hat_rad(wagen26_4, 2).
hat_ladung(wagen26_4, goldene_vase).
ladungs_nummer(wagen26_4, 2).
hat_fenster(wagen26_4, voll).
wagen_typ(wagen26_4, gemischt).
passagier_nummer(wagen26_4, 4).
hat_wagen(zug26, wagen26_5).
wagen_nummer(wagen26_5, 5).
wagen_farbe(wagen26_5, rot).
wagen_laenge(wagen26_5, kurz).
hat_wand(wagen26_5, gelaender).
hat_dach(wagen26_5, festes_dach).
hat_rad(wagen26_5, 2).
hat_ladung(wagen26_5, keine).
ladungs_nummer(wagen26_5, 0).
hat_fenster(wagen26_5, keine).
wagen_typ(wagen26_5, gueterwagen).
passagier_nummer(wagen26_5, 0).
hat_wagen(zug26, wagen26_6).
wagen_nummer(wagen26_6, 6).
wagen_farbe(wagen26_6, rot).
wagen_laenge(wagen26_6, kurz).
hat_wand(wagen26_6, gelaender).
hat_dach(wagen26_6, spitzdach).
hat_rad(wagen26_6, 2).
hat_ladung(wagen26_6, diamant).
ladungs_nummer(wagen26_6, 2).
hat_fenster(wagen26_6, voll).
wagen_typ(wagen26_6, gemischt).
passagier_nummer(wagen26_6, 1).

ost(zug27).
hat_wagen(zug27, wagen27_1).
wagen_nummer(wagen27_1, 1).
wagen_farbe(wagen27_1, rot).
wagen_laenge(wagen27_1, lang).
hat_wand(wagen27_1, gelaender).
hat_dach(wagen27_1, keine).
hat_rad(wagen27_1, 3).
hat_ladung(wagen27_1, keine).
ladungs_nummer(wagen27_1, 0).
hat_fenster(wagen27_1, voll).
wagen_typ(wagen27_1, gueterwagen).
passagier_nummer(wagen27_1, 0).
hat_wagen(zug27, wagen27_2).
wagen_nummer(wagen27_2, 2).
wagen_farbe(wagen27_2, weiss).
wagen_laenge(wagen27_2, lang).
hat_wand(wagen27_2, gelaender).
hat_dach(wagen27_2, festes_dach).
hat_rad(wagen27_2, 2).
hat_ladung(wagen27_2, keine).
ladungs_nummer(wagen27_2, 0).
hat_fenster(wagen27_2, keine).
wagen_typ(wagen27_2, personenwagen).
passagier_nummer(wagen27_2, 3).
hat_wagen(zug27, wagen27_3).
wagen_nummer(wagen27_3, 3).
wagen_farbe(wagen27_3, rot).
wagen_laenge(wagen27_3, kurz).
hat_wand(wagen27_3, gelaender).
hat_dach(wagen27_3, keine).
hat_rad(wagen27_3, 2).
hat_ladung(wagen27_3, keine).
ladungs_nummer(wagen27_3, 0).
hat_fenster(wagen27_3, voll).
wagen_typ(wagen27_3, personenwagen).
passagier_nummer(wagen27_3, 1).
hat_wagen(zug27, wagen27_4).
wagen_nummer(wagen27_4, 4).
wagen_farbe(wagen27_4, gelb).
wagen_laenge(wagen27_4, lang).
hat_wand(wagen27_4, voll).
hat_dach(wagen27_4, spitzdach).
hat_rad(wagen27_4, 2).
hat_ladung(wagen27_4, keine).
ladungs_nummer(wagen27_4, 0).
hat_fenster(wagen27_4, halb).
wagen_typ(wagen27_4, personenwagen).
passagier_nummer(wagen27_4, 4).
hat_wagen(zug27, wagen27_5).
wagen_nummer(wagen27_5, 5).
wagen_farbe(wagen27_5, gruen).
wagen_laenge(wagen27_5, kurz).
hat_wand(wagen27_5, voll).
hat_dach(wagen27_5, keine).
hat_rad(wagen27_5, 2).
hat_ladung(wagen27_5, ovale_vase).
ladungs_nummer(wagen27_5, 2).
hat_fenster(wagen27_5, keine).
wagen_typ(wagen27_5, gemischt).
passagier_nummer(wagen27_5, 4).

ost(zug28).
hat_wagen(zug28, wagen28_1).
wagen_nummer(wagen28_1, 1).
wagen_farbe(wagen28_1, rot).
wagen_laenge(wagen28_1, kurz).
hat_wand(wagen28_1, gelaender).
hat_dach(wagen28_1, dach_fundament).
hat_rad(wagen28_1, 2).
hat_ladung(wagen28_1, metall_topf).
ladungs_nummer(wagen28_1, 1).
hat_fenster(wagen28_1, keine).
wagen_typ(wagen28_1, gueterwagen).
passagier_nummer(wagen28_1, 0).
hat_wagen(zug28, wagen28_2).
wagen_nummer(wagen28_2, 2).
wagen_farbe(wagen28_2, rot).
wagen_laenge(wagen28_2, lang).
hat_wand(wagen28_2, voll).
hat_dach(wagen28_2, festes_dach).
hat_rad(wagen28_2, 3).
hat_ladung(wagen28_2, blaue_box).
ladungs_nummer(wagen28_2, 2).
hat_fenster(wagen28_2, keine).
wagen_typ(wagen28_2, gemischt).
passagier_nummer(wagen28_2, 0).
hat_wagen(zug28, wagen28_3).
wagen_nummer(wagen28_3, 3).
wagen_farbe(wagen28_3, gelb).
wagen_laenge(wagen28_3, kurz).
hat_wand(wagen28_3, gelaender).
hat_dach(wagen28_3, verstrebtes_dach).
hat_rad(wagen28_3, 2).
hat_ladung(wagen28_3, metall_topf).
ladungs_nummer(wagen28_3, 1).
hat_fenster(wagen28_3, voll).
wagen_typ(wagen28_3, gueterwagen).
passagier_nummer(wagen28_3, 0).
hat_wagen(zug28, wagen28_4).
wagen_nummer(wagen28_4, 4).
wagen_farbe(wagen28_4, rot).
wagen_laenge(wagen28_4, kurz).
hat_wand(wagen28_4, voll).
hat_dach(wagen28_4, keine).
hat_rad(wagen28_4, 2).
hat_ladung(wagen28_4, keine).
ladungs_nummer(wagen28_4, 0).
hat_fenster(wagen28_4, keine).
wagen_typ(wagen28_4, gueterwagen).
passagier_nummer(wagen28_4, 0).
hat_wagen(zug28, wagen28_5).
wagen_nummer(wagen28_5, 5).
wagen_farbe(wagen28_5, rot).
wagen_laenge(wagen28_5, kurz).
hat_wand(wagen28_5, gelaender).
hat_dach(wagen28_5, dach_fundament).
hat_rad(wagen28_5, 2).
hat_ladung(wagen28_5, keine).
ladungs_nummer(wagen28_5, 0).
hat_fenster(wagen28_5, voll).
wagen_typ(wagen28_5, personenwagen).
passagier_nummer(wagen28_5, 4).

ost(zug29).
hat_wagen(zug29, wagen29_1).
wagen_nummer(wagen29_1, 1).
wagen_farbe(wagen29_1, weiss).
wagen_laenge(wagen29_1, kurz).
hat_wand(wagen29_1, gelaender).
hat_dach(wagen29_1, festes_dach).
hat_rad(wagen29_1, 2).
hat_ladung(wagen29_1, fass).
ladungs_nummer(wagen29_1, 1).
hat_fenster(wagen29_1, halb).
wagen_typ(wagen29_1, gueterwagen).
passagier_nummer(wagen29_1, 0).
hat_wagen(zug29, wagen29_2).
wagen_nummer(wagen29_2, 2).
wagen_farbe(wagen29_2, weiss).
wagen_laenge(wagen29_2, kurz).
hat_wand(wagen29_2, gelaender).
hat_dach(wagen29_2, festes_dach).
hat_rad(wagen29_2, 2).
hat_ladung(wagen29_2, fass).
ladungs_nummer(wagen29_2, 2).
hat_fenster(wagen29_2, voll).
wagen_typ(wagen29_2, gemischt).
passagier_nummer(wagen29_2, 7).
hat_wagen(zug29, wagen29_3).
wagen_nummer(wagen29_3, 3).
wagen_farbe(wagen29_3, gruen).
wagen_laenge(wagen29_3, lang).
hat_wand(wagen29_3, gelaender).
hat_dach(wagen29_3, spitzdach).
hat_rad(wagen29_3, 2).
hat_ladung(wagen29_3, ovale_vase).
ladungs_nummer(wagen29_3, 3).
hat_fenster(wagen29_3, voll).
wagen_typ(wagen29_3, gemischt).
passagier_nummer(wagen29_3, 0).
hat_wagen(zug29, wagen29_4).
wagen_nummer(wagen29_4, 4).
wagen_farbe(wagen29_4, weiss).
wagen_laenge(wagen29_4, kurz).
hat_wand(wagen29_4, gelaender).
hat_dach(wagen29_4, keine).
hat_rad(wagen29_4, 2).
hat_ladung(wagen29_4, keine).
ladungs_nummer(wagen29_4, 0).
hat_fenster(wagen29_4, keine).
wagen_typ(wagen29_4, gueterwagen).
passagier_nummer(wagen29_4, 0).
hat_wagen(zug29, wagen29_5).
wagen_nummer(wagen29_5, 5).
wagen_farbe(wagen29_5, blau).
wagen_laenge(wagen29_5, lang).
hat_wand(wagen29_5, voll).
hat_dach(wagen29_5, spitzdach).
hat_rad(wagen29_5, 3).
hat_ladung(wagen29_5, keine).
ladungs_nummer(wagen29_5, 0).
hat_fenster(wagen29_5, halb).
wagen_typ(wagen29_5, personenwagen).
passagier_nummer(wagen29_5, 0).


Deine Aufgabe besteht darin, eine Hypothese in Form einer Prolog-Regel der Form „ost(T) :- Rumpf.“ zu formulieren, die nach Osten fahrende von nach Westen fahrenden Zügen korrekt unterscheidet.
Die Hypothese muss für alle positiven Beispiele (d. h. Züge, die als ost(t) gekennzeichnet sind) wahr und für alle negativen Beispiele (d. h. west(t)-Züge) falsch sein.
Ziel ist es, die kürzeste korrekte Regel zu finden, das heißt eine, die mit der geringstmöglichen Anzahl von Rumpfliteralen auskommt, ohne Bedingungen zu verlieren.
Deine Regel darf nur die in der obigen Grammatik definierten Prädikate verwenden und muss nach Osten fahrende von nach Westen fahrenden Zügen perfekt trennen.
ost(Zug) :-
    findall(Wagen, hat_wagen(Zug, Wagen), Cars),
    length(Cars, 5),
    hat_wagen(Zug, Wagen1), wagen_nummer(Wagen1, 1),
    hat_wagen(Zug, Wagen2), wagen_nummer(Wagen2, 2),
    hat_wagen(Zug, Wagen3), wagen_nummer(Wagen3, 3),
    hat_wagen(Zug, Wagen4), wagen_nummer(Wagen4, 4),
    hat_wagen(Zug, Wagen5), wagen_nummer(Wagen5, 5).
west(zug0).
hat_wagen(zug0, wagen0_1).
wagen_nummer(wagen0_1, 1).
wagen_farbe(wagen0_1, gelb).
wagen_laenge(wagen0_1, lang).
hat_wand(wagen0_1, voll).
hat_dach(wagen0_1, keine).
hat_rad(wagen0_1, 2).
hat_ladung(wagen0_1, keine).
ladungs_nummer(wagen0_1, 0).
hat_fenster(wagen0_1, voll).
wagen_typ(wagen0_1, gemischt).
passagier_nummer(wagen0_1, 8).
hat_wagen(zug0, wagen0_2).
wagen_nummer(wagen0_2, 2).
wagen_farbe(wagen0_2, gelb).
wagen_laenge(wagen0_2, lang).
hat_wand(wagen0_2, gelaender).
hat_dach(wagen0_2, spitzdach).
hat_rad(wagen0_2, 2).
hat_ladung(wagen0_2, keine).
ladungs_nummer(wagen0_2, 0).
hat_fenster(wagen0_2, keine).
wagen_typ(wagen0_2, gueterwagen).
passagier_nummer(wagen0_2, 0).
hat_wagen(zug0, wagen0_3).
wagen_nummer(wagen0_3, 3).
wagen_farbe(wagen0_3, blau).
wagen_laenge(wagen0_3, kurz).
hat_wand(wagen0_3, voll).
hat_dach(wagen0_3, verstrebtes_dach).
hat_rad(wagen0_3, 2).
hat_ladung(wagen0_3, keine).
ladungs_nummer(wagen0_3, 0).
hat_fenster(wagen0_3, halb).
wagen_typ(wagen0_3, gueterwagen).
passagier_nummer(wagen0_3, 0).
hat_wagen(zug0, wagen0_4).
wagen_nummer(wagen0_4, 4).
wagen_farbe(wagen0_4, weiss).
wagen_laenge(wagen0_4, lang).
hat_wand(wagen0_4, gelaender).
hat_dach(wagen0_4, dach_fundament).
hat_rad(wagen0_4, 3).
hat_ladung(wagen0_4, keine).
ladungs_nummer(wagen0_4, 0).
hat_fenster(wagen0_4, keine).
wagen_typ(wagen0_4, gemischt).
passagier_nummer(wagen0_4, 5).
hat_wagen(zug0, wagen0_5).
wagen_nummer(wagen0_5, 5).
wagen_farbe(wagen0_5, weiss).
wagen_laenge(wagen0_5, kurz).
hat_wand(wagen0_5, gelaender).
hat_dach(wagen0_5, festes_dach).
hat_rad(wagen0_5, 2).
hat_ladung(wagen0_5, keine).
ladungs_nummer(wagen0_5, 0).
hat_fenster(wagen0_5, voll).
wagen_typ(wagen0_5, gueterwagen).
passagier_nummer(wagen0_5, 0).
hat_wagen(zug0, wagen0_6).
wagen_nummer(wagen0_6, 6).
wagen_farbe(wagen0_6, gruen).
wagen_laenge(wagen0_6, lang).
hat_wand(wagen0_6, voll).
hat_dach(wagen0_6, keine).
hat_rad(wagen0_6, 3).
hat_ladung(wagen0_6, metall_topf).
ladungs_nummer(wagen0_6, 3).
hat_fenster(wagen0_6, halb).
wagen_typ(wagen0_6, gueterwagen).
passagier_nummer(wagen0_6, 0).

west(zug1).
hat_wagen(zug1, wagen1_1).
wagen_nummer(wagen1_1, 1).
wagen_farbe(wagen1_1, gruen).
wagen_laenge(wagen1_1, kurz).
hat_wand(wagen1_1, gelaender).
hat_dach(wagen1_1, verstrebtes_dach).
hat_rad(wagen1_1, 2).
hat_ladung(wagen1_1, keine).
ladungs_nummer(wagen1_1, 0).
hat_fenster(wagen1_1, keine).
wagen_typ(wagen1_1, personenwagen).
passagier_nummer(wagen1_1, 7).
hat_wagen(zug1, wagen1_2).
wagen_nummer(wagen1_2, 2).
wagen_farbe(wagen1_2, blau).
wagen_laenge(wagen1_2, kurz).
hat_wand(wagen1_2, gelaender).
hat_dach(wagen1_2, verstrebtes_dach).
hat_rad(wagen1_2, 2).
hat_ladung(wagen1_2, keine).
ladungs_nummer(wagen1_2, 0).
hat_fenster(wagen1_2, keine).
wagen_typ(wagen1_2, gueterwagen).
passagier_nummer(wagen1_2, 0).
hat_wagen(zug1, wagen1_3).
wagen_nummer(wagen1_3, 3).
wagen_farbe(wagen1_3, blau).
wagen_laenge(wagen1_3, kurz).
hat_wand(wagen1_3, gelaender).
hat_dach(wagen1_3, verstrebtes_dach).
hat_rad(wagen1_3, 2).
hat_ladung(wagen1_3, blaue_box).
ladungs_nummer(wagen1_3, 2).
hat_fenster(wagen1_3, keine).
wagen_typ(wagen1_3, gueterwagen).
passagier_nummer(wagen1_3, 0).
hat_wagen(zug1, wagen1_4).
wagen_nummer(wagen1_4, 4).
wagen_farbe(wagen1_4, rot).
wagen_laenge(wagen1_4, lang).
hat_wand(wagen1_4, gelaender).
hat_dach(wagen1_4, verstrebtes_dach).
hat_rad(wagen1_4, 3).
hat_ladung(wagen1_4, keine).
ladungs_nummer(wagen1_4, 0).
hat_fenster(wagen1_4, keine).
wagen_typ(wagen1_4, personenwagen).
passagier_nummer(wagen1_4, 9).
hat_wagen(zug1, wagen1_5).
wagen_nummer(wagen1_5, 5).
wagen_farbe(wagen1_5, rot).
wagen_laenge(wagen1_5, kurz).
hat_wand(wagen1_5, gelaender).
hat_dach(wagen1_5, keine).
hat_rad(wagen1_5, 2).
hat_ladung(wagen1_5, diamant).
ladungs_nummer(wagen1_5, 2).
hat_fenster(wagen1_5, voll).
wagen_typ(wagen1_5, gemischt).
passagier_nummer(wagen1_5, 10).
hat_wagen(zug1, wagen1_6).
wagen_nummer(wagen1_6, 6).
wagen_farbe(wagen1_6, gruen).
wagen_laenge(wagen1_6, kurz).
hat_wand(wagen1_6, gelaender).
hat_dach(wagen1_6, verstrebtes_dach).
hat_rad(wagen1_6, 2).
hat_ladung(wagen1_6, keine).
ladungs_nummer(wagen1_6, 0).
hat_fenster(wagen1_6, halb).
wagen_typ(wagen1_6, gemischt).
passagier_nummer(wagen1_6, 3).

west(zug2).
hat_wagen(zug2, wagen2_1).
wagen_nummer(wagen2_1, 1).
wagen_farbe(wagen2_1, gelb).
wagen_laenge(wagen2_1, lang).
hat_wand(wagen2_1, voll).
hat_dach(wagen2_1, festes_dach).
hat_rad(wagen2_1, 3).
hat_ladung(wagen2_1, keine).
ladungs_nummer(wagen2_1, 0).
hat_fenster(wagen2_1, halb).
wagen_typ(wagen2_1, gemischt).
passagier_nummer(wagen2_1, 0).
hat_wagen(zug2, wagen2_2).
wagen_nummer(wagen2_2, 2).
wagen_farbe(wagen2_2, weiss).
wagen_laenge(wagen2_2, lang).
hat_wand(wagen2_2, voll).
hat_dach(wagen2_2, keine).
hat_rad(wagen2_2, 3).
hat_ladung(wagen2_2, keine).
ladungs_nummer(wagen2_2, 0).
hat_fenster(wagen2_2, halb).
wagen_typ(wagen2_2, personenwagen).
passagier_nummer(wagen2_2, 2).
hat_wagen(zug2, wagen2_3).
wagen_nummer(wagen2_3, 3).
wagen_farbe(wagen2_3, rot).
wagen_laenge(wagen2_3, kurz).
hat_wand(wagen2_3, voll).
hat_dach(wagen2_3, keine).
hat_rad(wagen2_3, 2).
hat_ladung(wagen2_3, keine).
ladungs_nummer(wagen2_3, 0).
hat_fenster(wagen2_3, voll).
wagen_typ(wagen2_3, personenwagen).
passagier_nummer(wagen2_3, 2).
hat_wagen(zug2, wagen2_4).
wagen_nummer(wagen2_4, 4).
wagen_farbe(wagen2_4, gruen).
wagen_laenge(wagen2_4, kurz).
hat_wand(wagen2_4, voll).
hat_dach(wagen2_4, festes_dach).
hat_rad(wagen2_4, 2).
hat_ladung(wagen2_4, goldene_vase).
ladungs_nummer(wagen2_4, 2).
hat_fenster(wagen2_4, keine).
wagen_typ(wagen2_4, gueterwagen).
passagier_nummer(wagen2_4, 0).
hat_wagen(zug2, wagen2_5).
wagen_nummer(wagen2_5, 5).
wagen_farbe(wagen2_5, rot).
wagen_laenge(wagen2_5, lang).
hat_wand(wagen2_5, gelaender).
hat_dach(wagen2_5, dach_fundament).
hat_rad(wagen2_5, 3).
hat_ladung(wagen2_5, goldene_vase).
ladungs_nummer(wagen2_5, 1).
hat_fenster(wagen2_5, voll).
wagen_typ(wagen2_5, gueterwagen).
passagier_nummer(wagen2_5, 0).
hat_wagen(zug2, wagen2_6).
wagen_nummer(wagen2_6, 6).
wagen_farbe(wagen2_6, weiss).
wagen_laenge(wagen2_6, lang).
hat_wand(wagen2_6, voll).
hat_dach(wagen2_6, keine).
hat_rad(wagen2_6, 2).
hat_ladung(wagen2_6, keine).
ladungs_nummer(wagen2_6, 0).
hat_fenster(wagen2_6, halb).
wagen_typ(wagen2_6, gueterwagen).
passagier_nummer(wagen2_6, 0).

ost(zug3).
hat_wagen(zug3, wagen3_1).
wagen_nummer(wagen3_1, 1).
wagen_farbe(wagen3_1, blau).
wagen_laenge(wagen3_1, lang).
hat_wand(wagen3_1, voll).
hat_dach(wagen3_1, keine).
hat_rad(wagen3_1, 3).
hat_ladung(wagen3_1, keine).
ladungs_nummer(wagen3_1, 0).
hat_fenster(wagen3_1, keine).
wagen_typ(wagen3_1, gemischt).
passagier_nummer(wagen3_1, 4).
hat_wagen(zug3, wagen3_2).
wagen_nummer(wagen3_2, 2).
wagen_farbe(wagen3_2, gruen).
wagen_laenge(wagen3_2, kurz).
hat_wand(wagen3_2, gelaender).
hat_dach(wagen3_2, dach_fundament).
hat_rad(wagen3_2, 2).
hat_ladung(wagen3_2, keine).
ladungs_nummer(wagen3_2, 0).
hat_fenster(wagen3_2, halb).
wagen_typ(wagen3_2, personenwagen).
passagier_nummer(wagen3_2, 10).
hat_wagen(zug3, wagen3_3).
wagen_nummer(wagen3_3, 3).
wagen_farbe(wagen3_3, gelb).
wagen_laenge(wagen3_3, lang).
hat_wand(wagen3_3, voll).
hat_dach(wagen3_3, spitzdach).
hat_rad(wagen3_3, 2).
hat_ladung(wagen3_3, keine).
ladungs_nummer(wagen3_3, 0).
hat_fenster(wagen3_3, keine).
wagen_typ(wagen3_3, personenwagen).
passagier_nummer(wagen3_3, 4).
hat_wagen(zug3, wagen3_4).
wagen_nummer(wagen3_4, 4).
wagen_farbe(wagen3_4, rot).
wagen_laenge(wagen3_4, kurz).
hat_wand(wagen3_4, gelaender).
hat_dach(wagen3_4, verstrebtes_dach).
hat_rad(wagen3_4, 2).
hat_ladung(wagen3_4, fass).
ladungs_nummer(wagen3_4, 1).
hat_fenster(wagen3_4, keine).
wagen_typ(wagen3_4, gemischt).
passagier_nummer(wagen3_4, 1).
hat_wagen(zug3, wagen3_5).
wagen_nummer(wagen3_5, 5).
wagen_farbe(wagen3_5, blau).
wagen_laenge(wagen3_5, kurz).
hat_wand(wagen3_5, voll).
hat_dach(wagen3_5, festes_dach).
hat_rad(wagen3_5, 2).
hat_ladung(wagen3_5, keine).
ladungs_nummer(wagen3_5, 0).
hat_fenster(wagen3_5, halb).
wagen_typ(wagen3_5, personenwagen).
passagier_nummer(wagen3_5, 2).

west(zug4).
hat_wagen(zug4, wagen4_1).
wagen_nummer(wagen4_1, 1).
wagen_farbe(wagen4_1, weiss).
wagen_laenge(wagen4_1, kurz).
hat_wand(wagen4_1, voll).
hat_dach(wagen4_1, keine).
hat_rad(wagen4_1, 2).
hat_ladung(wagen4_1, ovale_vase).
ladungs_nummer(wagen4_1, 1).
hat_fenster(wagen4_1, keine).
wagen_typ(wagen4_1, gueterwagen).
passagier_nummer(wagen4_1, 0).
hat_wagen(zug4, wagen4_2).
wagen_nummer(wagen4_2, 2).
wagen_farbe(wagen4_2, weiss).
wagen_laenge(wagen4_2, kurz).
hat_wand(wagen4_2, voll).
hat_dach(wagen4_2, verstrebtes_dach).
hat_rad(wagen4_2, 2).
hat_ladung(wagen4_2, keine).
ladungs_nummer(wagen4_2, 0).
hat_fenster(wagen4_2, voll).
wagen_typ(wagen4_2, gemischt).
passagier_nummer(wagen4_2, 5).
hat_wagen(zug4, wagen4_3).
wagen_nummer(wagen4_3, 3).
wagen_farbe(wagen4_3, rot).
wagen_laenge(wagen4_3, lang).
hat_wand(wagen4_3, gelaender).
hat_dach(wagen4_3, keine).
hat_rad(wagen4_3, 3).
hat_ladung(wagen4_3, metall_topf).
ladungs_nummer(wagen4_3, 3).
hat_fenster(wagen4_3, halb).
wagen_typ(wagen4_3, gueterwagen).
passagier_nummer(wagen4_3, 0).
hat_wagen(zug4, wagen4_4).
wagen_nummer(wagen4_4, 4).
wagen_farbe(wagen4_4, gelb).
wagen_laenge(wagen4_4, lang).
hat_wand(wagen4_4, voll).
hat_dach(wagen4_4, dach_fundament).
hat_rad(wagen4_4, 3).
hat_ladung(wagen4_4, diamant).
ladungs_nummer(wagen4_4, 1).
hat_fenster(wagen4_4, halb).
wagen_typ(wagen4_4, gemischt).
passagier_nummer(wagen4_4, 3).
hat_wagen(zug4, wagen4_5).
wagen_nummer(wagen4_5, 5).
wagen_farbe(wagen4_5, rot).
wagen_laenge(wagen4_5, lang).
hat_wand(wagen4_5, voll).
hat_dach(wagen4_5, dach_fundament).
hat_rad(wagen4_5, 3).
hat_ladung(wagen4_5, fass).
ladungs_nummer(wagen4_5, 1).
hat_fenster(wagen4_5, voll).
wagen_typ(wagen4_5, gemischt).
passagier_nummer(wagen4_5, 8).
hat_wagen(zug4, wagen4_6).
wagen_nummer(wagen4_6, 6).
wagen_farbe(wagen4_6, rot).
wagen_laenge(wagen4_6, lang).
hat_wand(wagen4_6, voll).
hat_dach(wagen4_6, keine).
hat_rad(wagen4_6, 2).
hat_ladung(wagen4_6, keine).
ladungs_nummer(wagen4_6, 0).
hat_fenster(wagen4_6, voll).
wagen_typ(wagen4_6, gemischt).
passagier_nummer(wagen4_6, 8).

west(zug5).
hat_wagen(zug5, wagen5_1).
wagen_nummer(wagen5_1, 1).
wagen_farbe(wagen5_1, gelb).
wagen_laenge(wagen5_1, lang).
hat_wand(wagen5_1, gelaender).
hat_dach(wagen5_1, festes_dach).
hat_rad(wagen5_1, 3).
hat_ladung(wagen5_1, blaue_box).
ladungs_nummer(wagen5_1, 1).
hat_fenster(wagen5_1, halb).
wagen_typ(wagen5_1, gueterwagen).
passagier_nummer(wagen5_1, 0).
hat_wagen(zug5, wagen5_2).
wagen_nummer(wagen5_2, 2).
wagen_farbe(wagen5_2, gelb).
wagen_laenge(wagen5_2, kurz).
hat_wand(wagen5_2, voll).
hat_dach(wagen5_2, keine).
hat_rad(wagen5_2, 2).
hat_ladung(wagen5_2, metall_topf).
ladungs_nummer(wagen5_2, 1).
hat_fenster(wagen5_2, voll).
wagen_typ(wagen5_2, gemischt).
passagier_nummer(wagen5_2, 8).
hat_wagen(zug5, wagen5_3).
wagen_nummer(wagen5_3, 3).
wagen_farbe(wagen5_3, weiss).
wagen_laenge(wagen5_3, kurz).
hat_wand(wagen5_3, gelaender).
hat_dach(wagen5_3, verstrebtes_dach).
hat_rad(wagen5_3, 2).
hat_ladung(wagen5_3, keine).
ladungs_nummer(wagen5_3, 0).
hat_fenster(wagen5_3, keine).
wagen_typ(wagen5_3, personenwagen).
passagier_nummer(wagen5_3, 2).
hat_wagen(zug5, wagen5_4).
wagen_nummer(wagen5_4, 4).
wagen_farbe(wagen5_4, rot).
wagen_laenge(wagen5_4, lang).
hat_wand(wagen5_4, gelaender).
hat_dach(wagen5_4, spitzdach).
hat_rad(wagen5_4, 3).
hat_ladung(wagen5_4, keine).
ladungs_nummer(wagen5_4, 0).
hat_fenster(wagen5_4, voll).
wagen_typ(wagen5_4, personenwagen).
passagier_nummer(wagen5_4, 4).
hat_wagen(zug5, wagen5_5).
wagen_nummer(wagen5_5, 5).
wagen_farbe(wagen5_5, rot).
wagen_laenge(wagen5_5, lang).
hat_wand(wagen5_5, voll).
hat_dach(wagen5_5, spitzdach).
hat_rad(wagen5_5, 2).
hat_ladung(wagen5_5, keine).
ladungs_nummer(wagen5_5, 0).
hat_fenster(wagen5_5, halb).
wagen_typ(wagen5_5, personenwagen).
passagier_nummer(wagen5_5, 10).
hat_wagen(zug5, wagen5_6).
wagen_nummer(wagen5_6, 6).
wagen_farbe(wagen5_6, gruen).
wagen_laenge(wagen5_6, kurz).
hat_wand(wagen5_6, voll).
hat_dach(wagen5_6, verstrebtes_dach).
hat_rad(wagen5_6, 2).
hat_ladung(wagen5_6, keine).
ladungs_nummer(wagen5_6, 0).
hat_fenster(wagen5_6, voll).
wagen_typ(wagen5_6, personenwagen).
passagier_nummer(wagen5_6, 5).

ost(zug6).
hat_wagen(zug6, wagen6_1).
wagen_nummer(wagen6_1, 1).
wagen_farbe(wagen6_1, rot).
wagen_laenge(wagen6_1, lang).
hat_wand(wagen6_1, voll).
hat_dach(wagen6_1, spitzdach).
hat_rad(wagen6_1, 2).
hat_ladung(wagen6_1, blaue_box).
ladungs_nummer(wagen6_1, 1).
hat_fenster(wagen6_1, voll).
wagen_typ(wagen6_1, gemischt).
passagier_nummer(wagen6_1, 6).
hat_wagen(zug6, wagen6_2).
wagen_nummer(wagen6_2, 2).
wagen_farbe(wagen6_2, rot).
wagen_laenge(wagen6_2, kurz).
hat_wand(wagen6_2, gelaender).
hat_dach(wagen6_2, keine).
hat_rad(wagen6_2, 2).
hat_ladung(wagen6_2, keine).
ladungs_nummer(wagen6_2, 0).
hat_fenster(wagen6_2, voll).
wagen_typ(wagen6_2, gemischt).
passagier_nummer(wagen6_2, 9).
hat_wagen(zug6, wagen6_3).
wagen_nummer(wagen6_3, 3).
wagen_farbe(wagen6_3, gelb).
wagen_laenge(wagen6_3, kurz).
hat_wand(wagen6_3, voll).
hat_dach(wagen6_3, festes_dach).
hat_rad(wagen6_3, 2).
hat_ladung(wagen6_3, ovale_vase).
ladungs_nummer(wagen6_3, 2).
hat_fenster(wagen6_3, keine).
wagen_typ(wagen6_3, gemischt).
passagier_nummer(wagen6_3, 3).
hat_wagen(zug6, wagen6_4).
wagen_nummer(wagen6_4, 4).
wagen_farbe(wagen6_4, blau).
wagen_laenge(wagen6_4, kurz).
hat_wand(wagen6_4, gelaender).
hat_dach(wagen6_4, spitzdach).
hat_rad(wagen6_4, 2).
hat_ladung(wagen6_4, keine).
ladungs_nummer(wagen6_4, 0).
hat_fenster(wagen6_4, halb).
wagen_typ(wagen6_4, gemischt).
passagier_nummer(wagen6_4, 5).
hat_wagen(zug6, wagen6_5).
wagen_nummer(wagen6_5, 5).
wagen_farbe(wagen6_5, weiss).
wagen_laenge(wagen6_5, lang).
hat_wand(wagen6_5, gelaender).
hat_dach(wagen6_5, dach_fundament).
hat_rad(wagen6_5, 2).
hat_ladung(wagen6_5, keine).
ladungs_nummer(wagen6_5, 0).
hat_fenster(wagen6_5, voll).
wagen_typ(wagen6_5, gueterwagen).
passagier_nummer(wagen6_5, 0).

west(zug7).
hat_wagen(zug7, wagen7_1).
wagen_nummer(wagen7_1, 1).
wagen_farbe(wagen7_1, weiss).
wagen_laenge(wagen7_1, kurz).
hat_wand(wagen7_1, gelaender).
hat_dach(wagen7_1, spitzdach).
hat_rad(wagen7_1, 2).
hat_ladung(wagen7_1, fass).
ladungs_nummer(wagen7_1, 2).
hat_fenster(wagen7_1, keine).
wagen_typ(wagen7_1, gemischt).
passagier_nummer(wagen7_1, 4).
hat_wagen(zug7, wagen7_2).
wagen_nummer(wagen7_2, 2).
wagen_farbe(wagen7_2, gruen).
wagen_laenge(wagen7_2, lang).
hat_wand(wagen7_2, voll).
hat_dach(wagen7_2, verstrebtes_dach).
hat_rad(wagen7_2, 3).
hat_ladung(wagen7_2, fass).
ladungs_nummer(wagen7_2, 2).
hat_fenster(wagen7_2, voll).
wagen_typ(wagen7_2, gemischt).
passagier_nummer(wagen7_2, 3).
hat_wagen(zug7, wagen7_3).
wagen_nummer(wagen7_3, 3).
wagen_farbe(wagen7_3, rot).
wagen_laenge(wagen7_3, lang).
hat_wand(wagen7_3, gelaender).
hat_dach(wagen7_3, verstrebtes_dach).
hat_rad(wagen7_3, 3).
hat_ladung(wagen7_3, keine).
ladungs_nummer(wagen7_3, 0).
hat_fenster(wagen7_3, halb).
wagen_typ(wagen7_3, personenwagen).
passagier_nummer(wagen7_3, 2).
hat_wagen(zug7, wagen7_4).
wagen_nummer(wagen7_4, 4).
wagen_farbe(wagen7_4, rot).
wagen_laenge(wagen7_4, lang).
hat_wand(wagen7_4, voll).
hat_dach(wagen7_4, keine).
hat_rad(wagen7_4, 2).
hat_ladung(wagen7_4, keine).
ladungs_nummer(wagen7_4, 0).
hat_fenster(wagen7_4, voll).
wagen_typ(wagen7_4, personenwagen).
passagier_nummer(wagen7_4, 3).
hat_wagen(zug7, wagen7_5).
wagen_nummer(wagen7_5, 5).
wagen_farbe(wagen7_5, gruen).
wagen_laenge(wagen7_5, kurz).
hat_wand(wagen7_5, voll).
hat_dach(wagen7_5, dach_fundament).
hat_rad(wagen7_5, 2).
hat_ladung(wagen7_5, fass).
ladungs_nummer(wagen7_5, 1).
hat_fenster(wagen7_5, voll).
wagen_typ(wagen7_5, gemischt).
passagier_nummer(wagen7_5, 10).
hat_wagen(zug7, wagen7_6).
wagen_nummer(wagen7_6, 6).
wagen_farbe(wagen7_6, rot).
wagen_laenge(wagen7_6, lang).
hat_wand(wagen7_6, gelaender).
hat_dach(wagen7_6, festes_dach).
hat_rad(wagen7_6, 2).
hat_ladung(wagen7_6, blaue_box).
ladungs_nummer(wagen7_6, 2).
hat_fenster(wagen7_6, voll).
wagen_typ(wagen7_6, gemischt).
passagier_nummer(wagen7_6, 4).

ost(zug8).
hat_wagen(zug8, wagen8_1).
wagen_nummer(wagen8_1, 1).
wagen_farbe(wagen8_1, rot).
wagen_laenge(wagen8_1, lang).
hat_wand(wagen8_1, voll).
hat_dach(wagen8_1, dach_fundament).
hat_rad(wagen8_1, 2).
hat_ladung(wagen8_1, metall_topf).
ladungs_nummer(wagen8_1, 2).
hat_fenster(wagen8_1, halb).
wagen_typ(wagen8_1, gueterwagen).
passagier_nummer(wagen8_1, 0).
hat_wagen(zug8, wagen8_2).
wagen_nummer(wagen8_2, 2).
wagen_farbe(wagen8_2, gruen).
wagen_laenge(wagen8_2, kurz).
hat_wand(wagen8_2, voll).
hat_dach(wagen8_2, spitzdach).
hat_rad(wagen8_2, 2).
hat_ladung(wagen8_2, keine).
ladungs_nummer(wagen8_2, 0).
hat_fenster(wagen8_2, keine).
wagen_typ(wagen8_2, personenwagen).
passagier_nummer(wagen8_2, 5).
hat_wagen(zug8, wagen8_3).
wagen_nummer(wagen8_3, 3).
wagen_farbe(wagen8_3, gelb).
wagen_laenge(wagen8_3, kurz).
hat_wand(wagen8_3, voll).
hat_dach(wagen8_3, dach_fundament).
hat_rad(wagen8_3, 2).
hat_ladung(wagen8_3, keine).
ladungs_nummer(wagen8_3, 0).
hat_fenster(wagen8_3, voll).
wagen_typ(wagen8_3, personenwagen).
passagier_nummer(wagen8_3, 0).
hat_wagen(zug8, wagen8_4).
wagen_nummer(wagen8_4, 4).
wagen_farbe(wagen8_4, blau).
wagen_laenge(wagen8_4, lang).
hat_wand(wagen8_4, gelaender).
hat_dach(wagen8_4, keine).
hat_rad(wagen8_4, 2).
hat_ladung(wagen8_4, diamant).
ladungs_nummer(wagen8_4, 3).
hat_fenster(wagen8_4, halb).
wagen_typ(wagen8_4, gueterwagen).
passagier_nummer(wagen8_4, 0).
hat_wagen(zug8, wagen8_5).
wagen_nummer(wagen8_5, 5).
wagen_farbe(wagen8_5, gelb).
wagen_laenge(wagen8_5, kurz).
hat_wand(wagen8_5, gelaender).
hat_dach(wagen8_5, spitzdach).
hat_rad(wagen8_5, 2).
hat_ladung(wagen8_5, keine).
ladungs_nummer(wagen8_5, 0).
hat_fenster(wagen8_5, voll).
wagen_typ(wagen8_5, gemischt).
passagier_nummer(wagen8_5, 10).

ost(zug9).
hat_wagen(zug9, wagen9_1).
wagen_nummer(wagen9_1, 1).
wagen_farbe(wagen9_1, gruen).
wagen_laenge(wagen9_1, kurz).
hat_wand(wagen9_1, gelaender).
hat_dach(wagen9_1, verstrebtes_dach).
hat_rad(wagen9_1, 2).
hat_ladung(wagen9_1, fass).
ladungs_nummer(wagen9_1, 1).
hat_fenster(wagen9_1, keine).
wagen_typ(wagen9_1, gemischt).
passagier_nummer(wagen9_1, 9).
hat_wagen(zug9, wagen9_2).
wagen_nummer(wagen9_2, 2).
wagen_farbe(wagen9_2, blau).
wagen_laenge(wagen9_2, lang).
hat_wand(wagen9_2, voll).
hat_dach(wagen9_2, verstrebtes_dach).
hat_rad(wagen9_2, 2).
hat_ladung(wagen9_2, keine).
ladungs_nummer(wagen9_2, 0).
hat_fenster(wagen9_2, keine).
wagen_typ(wagen9_2, personenwagen).
passagier_nummer(wagen9_2, 9).
hat_wagen(zug9, wagen9_3).
wagen_nummer(wagen9_3, 3).
wagen_farbe(wagen9_3, weiss).
wagen_laenge(wagen9_3, lang).
hat_wand(wagen9_3, voll).
hat_dach(wagen9_3, keine).
hat_rad(wagen9_3, 2).
hat_ladung(wagen9_3, fass).
ladungs_nummer(wagen9_3, 1).
hat_fenster(wagen9_3, halb).
wagen_typ(wagen9_3, gueterwagen).
passagier_nummer(wagen9_3, 0).
hat_wagen(zug9, wagen9_4).
wagen_nummer(wagen9_4, 4).
wagen_farbe(wagen9_4, blau).
wagen_laenge(wagen9_4, lang).
hat_wand(wagen9_4, gelaender).
hat_dach(wagen9_4, festes_dach).
hat_rad(wagen9_4, 2).
hat_ladung(wagen9_4, keine).
ladungs_nummer(wagen9_4, 0).
hat_fenster(wagen9_4, keine).
wagen_typ(wagen9_4, personenwagen).
passagier_nummer(wagen9_4, 7).
hat_wagen(zug9, wagen9_5).
wagen_nummer(wagen9_5, 5).
wagen_farbe(wagen9_5, weiss).
wagen_laenge(wagen9_5, kurz).
hat_wand(wagen9_5, gelaender).
hat_dach(wagen9_5, dach_fundament).
hat_rad(wagen9_5, 2).
hat_ladung(wagen9_5, blaue_box).
ladungs_nummer(wagen9_5, 2).
hat_fenster(wagen9_5, voll).
wagen_typ(wagen9_5, gemischt).
passagier_nummer(wagen9_5, 1).

west(zug10).
hat_wagen(zug10, wagen10_1).
wagen_nummer(wagen10_1, 1).
wagen_farbe(wagen10_1, blau).
wagen_laenge(wagen10_1, lang).
hat_wand(wagen10_1, gelaender).
hat_dach(wagen10_1, keine).
hat_rad(wagen10_1, 3).
hat_ladung(wagen10_1, diamant).
ladungs_nummer(wagen10_1, 2).
hat_fenster(wagen10_1, voll).
wagen_typ(wagen10_1, gueterwagen).
passagier_nummer(wagen10_1, 0).
hat_wagen(zug10, wagen10_2).
wagen_nummer(wagen10_2, 2).
wagen_farbe(wagen10_2, blau).
wagen_laenge(wagen10_2, lang).
hat_wand(wagen10_2, voll).
hat_dach(wagen10_2, festes_dach).
hat_rad(wagen10_2, 2).
hat_ladung(wagen10_2, keine).
ladungs_nummer(wagen10_2, 0).
hat_fenster(wagen10_2, halb).
wagen_typ(wagen10_2, personenwagen).
passagier_nummer(wagen10_2, 9).
hat_wagen(zug10, wagen10_3).
wagen_nummer(wagen10_3, 3).
wagen_farbe(wagen10_3, weiss).
wagen_laenge(wagen10_3, lang).
hat_wand(wagen10_3, voll).
hat_dach(wagen10_3, keine).
hat_rad(wagen10_3, 3).
hat_ladung(wagen10_3, blaue_box).
ladungs_nummer(wagen10_3, 1).
hat_fenster(wagen10_3, keine).
wagen_typ(wagen10_3, gueterwagen).
passagier_nummer(wagen10_3, 0).
hat_wagen(zug10, wagen10_4).
wagen_nummer(wagen10_4, 4).
wagen_farbe(wagen10_4, weiss).
wagen_laenge(wagen10_4, lang).
hat_wand(wagen10_4, gelaender).
hat_dach(wagen10_4, dach_fundament).
hat_rad(wagen10_4, 3).
hat_ladung(wagen10_4, keine).
ladungs_nummer(wagen10_4, 0).
hat_fenster(wagen10_4, keine).
wagen_typ(wagen10_4, personenwagen).
passagier_nummer(wagen10_4, 0).
hat_wagen(zug10, wagen10_5).
wagen_nummer(wagen10_5, 5).
wagen_farbe(wagen10_5, gruen).
wagen_laenge(wagen10_5, lang).
hat_wand(wagen10_5, voll).
hat_dach(wagen10_5, festes_dach).
hat_rad(wagen10_5, 3).
hat_ladung(wagen10_5, metall_topf).
ladungs_nummer(wagen10_5, 3).
hat_fenster(wagen10_5, halb).
wagen_typ(wagen10_5, gemischt).
passagier_nummer(wagen10_5, 4).
hat_wagen(zug10, wagen10_6).
wagen_nummer(wagen10_6, 6).
wagen_farbe(wagen10_6, rot).
wagen_laenge(wagen10_6, lang).
hat_wand(wagen10_6, gelaender).
hat_dach(wagen10_6, festes_dach).
hat_rad(wagen10_6, 2).
hat_ladung(wagen10_6, keine).
ladungs_nummer(wagen10_6, 0).
hat_fenster(wagen10_6, halb).
wagen_typ(wagen10_6, personenwagen).
passagier_nummer(wagen10_6, 4).

ost(zug11).
hat_wagen(zug11, wagen11_1).
wagen_nummer(wagen11_1, 1).
wagen_farbe(wagen11_1, gruen).
wagen_laenge(wagen11_1, kurz).
hat_wand(wagen11_1, voll).
hat_dach(wagen11_1, verstrebtes_dach).
hat_rad(wagen11_1, 2).
hat_ladung(wagen11_1, keine).
ladungs_nummer(wagen11_1, 0).
hat_fenster(wagen11_1, halb).
wagen_typ(wagen11_1, personenwagen).
passagier_nummer(wagen11_1, 6).
hat_wagen(zug11, wagen11_2).
wagen_nummer(wagen11_2, 2).
wagen_farbe(wagen11_2, gelb).
wagen_laenge(wagen11_2, kurz).
hat_wand(wagen11_2, gelaender).
hat_dach(wagen11_2, spitzdach).
hat_rad(wagen11_2, 2).
hat_ladung(wagen11_2, keine).
ladungs_nummer(wagen11_2, 0).
hat_fenster(wagen11_2, halb).
wagen_typ(wagen11_2, personenwagen).
passagier_nummer(wagen11_2, 10).
hat_wagen(zug11, wagen11_3).
wagen_nummer(wagen11_3, 3).
wagen_farbe(wagen11_3, weiss).
wagen_laenge(wagen11_3, lang).
hat_wand(wagen11_3, gelaender).
hat_dach(wagen11_3, festes_dach).
hat_rad(wagen11_3, 3).
hat_ladung(wagen11_3, diamant).
ladungs_nummer(wagen11_3, 3).
hat_fenster(wagen11_3, voll).
wagen_typ(wagen11_3, gueterwagen).
passagier_nummer(wagen11_3, 0).
hat_wagen(zug11, wagen11_4).
wagen_nummer(wagen11_4, 4).
wagen_farbe(wagen11_4, weiss).
wagen_laenge(wagen11_4, kurz).
hat_wand(wagen11_4, voll).
hat_dach(wagen11_4, dach_fundament).
hat_rad(wagen11_4, 2).
hat_ladung(wagen11_4, ovale_vase).
ladungs_nummer(wagen11_4, 1).
hat_fenster(wagen11_4, halb).
wagen_typ(wagen11_4, gueterwagen).
passagier_nummer(wagen11_4, 0).
hat_wagen(zug11, wagen11_5).
wagen_nummer(wagen11_5, 5).
wagen_farbe(wagen11_5, gruen).
wagen_laenge(wagen11_5, lang).
hat_wand(wagen11_5, voll).
hat_dach(wagen11_5, festes_dach).
hat_rad(wagen11_5, 2).
hat_ladung(wagen11_5, fass).
ladungs_nummer(wagen11_5, 2).
hat_fenster(wagen11_5, halb).
wagen_typ(wagen11_5, gueterwagen).
passagier_nummer(wagen11_5, 0).

ost(zug12).
hat_wagen(zug12, wagen12_1).
wagen_nummer(wagen12_1, 1).
wagen_farbe(wagen12_1, gelb).
wagen_laenge(wagen12_1, kurz).
hat_wand(wagen12_1, voll).
hat_dach(wagen12_1, spitzdach).
hat_rad(wagen12_1, 2).
hat_ladung(wagen12_1, keine).
ladungs_nummer(wagen12_1, 0).
hat_fenster(wagen12_1, keine).
wagen_typ(wagen12_1, personenwagen).
passagier_nummer(wagen12_1, 0).
hat_wagen(zug12, wagen12_2).
wagen_nummer(wagen12_2, 2).
wagen_farbe(wagen12_2, weiss).
wagen_laenge(wagen12_2, kurz).
hat_wand(wagen12_2, gelaender).
hat_dach(wagen12_2, spitzdach).
hat_rad(wagen12_2, 2).
hat_ladung(wagen12_2, keine).
ladungs_nummer(wagen12_2, 0).
hat_fenster(wagen12_2, keine).
wagen_typ(wagen12_2, personenwagen).
passagier_nummer(wagen12_2, 9).
hat_wagen(zug12, wagen12_3).
wagen_nummer(wagen12_3, 3).
wagen_farbe(wagen12_3, blau).
wagen_laenge(wagen12_3, lang).
hat_wand(wagen12_3, gelaender).
hat_dach(wagen12_3, verstrebtes_dach).
hat_rad(wagen12_3, 3).
hat_ladung(wagen12_3, diamant).
ladungs_nummer(wagen12_3, 1).
hat_fenster(wagen12_3, halb).
wagen_typ(wagen12_3, gueterwagen).
passagier_nummer(wagen12_3, 0).
hat_wagen(zug12, wagen12_4).
wagen_nummer(wagen12_4, 4).
wagen_farbe(wagen12_4, weiss).
wagen_laenge(wagen12_4, kurz).
hat_wand(wagen12_4, voll).
hat_dach(wagen12_4, verstrebtes_dach).
hat_rad(wagen12_4, 2).
hat_ladung(wagen12_4, goldene_vase).
ladungs_nummer(wagen12_4, 1).
hat_fenster(wagen12_4, halb).
wagen_typ(wagen12_4, gueterwagen).
passagier_nummer(wagen12_4, 0).
hat_wagen(zug12, wagen12_5).
wagen_nummer(wagen12_5, 5).
wagen_farbe(wagen12_5, gelb).
wagen_laenge(wagen12_5, lang).
hat_wand(wagen12_5, gelaender).
hat_dach(wagen12_5, festes_dach).
hat_rad(wagen12_5, 3).
hat_ladung(wagen12_5, keine).
ladungs_nummer(wagen12_5, 0).
hat_fenster(wagen12_5, keine).
wagen_typ(wagen12_5, gemischt).
passagier_nummer(wagen12_5, 6).

west(zug13).
hat_wagen(zug13, wagen13_1).
wagen_nummer(wagen13_1, 1).
wagen_farbe(wagen13_1, gelb).
wagen_laenge(wagen13_1, kurz).
hat_wand(wagen13_1, voll).
hat_dach(wagen13_1, spitzdach).
hat_rad(wagen13_1, 2).
hat_ladung(wagen13_1, keine).
ladungs_nummer(wagen13_1, 0).
hat_fenster(wagen13_1, keine).
wagen_typ(wagen13_1, personenwagen).
passagier_nummer(wagen13_1, 8).
hat_wagen(zug13, wagen13_2).
wagen_nummer(wagen13_2, 2).
wagen_farbe(wagen13_2, gruen).
wagen_laenge(wagen13_2, kurz).
hat_wand(wagen13_2, voll).
hat_dach(wagen13_2, verstrebtes_dach).
hat_rad(wagen13_2, 2).
hat_ladung(wagen13_2, blaue_box).
ladungs_nummer(wagen13_2, 1).
hat_fenster(wagen13_2, halb).
wagen_typ(wagen13_2, gemischt).
passagier_nummer(wagen13_2, 5).
hat_wagen(zug13, wagen13_3).
wagen_nummer(wagen13_3, 3).
wagen_farbe(wagen13_3, weiss).
wagen_laenge(wagen13_3, kurz).
hat_wand(wagen13_3, voll).
hat_dach(wagen13_3, spitzdach).
hat_rad(wagen13_3, 2).
hat_ladung(wagen13_3, metall_topf).
ladungs_nummer(wagen13_3, 2).
hat_fenster(wagen13_3, keine).
wagen_typ(wagen13_3, gueterwagen).
passagier_nummer(wagen13_3, 0).
hat_wagen(zug13, wagen13_4).
wagen_nummer(wagen13_4, 4).
wagen_farbe(wagen13_4, gruen).
wagen_laenge(wagen13_4, kurz).
hat_wand(wagen13_4, gelaender).
hat_dach(wagen13_4, festes_dach).
hat_rad(wagen13_4, 2).
hat_ladung(wagen13_4, blaue_box).
ladungs_nummer(wagen13_4, 2).
hat_fenster(wagen13_4, voll).
wagen_typ(wagen13_4, gemischt).
passagier_nummer(wagen13_4, 8).
hat_wagen(zug13, wagen13_5).
wagen_nummer(wagen13_5, 5).
wagen_farbe(wagen13_5, gelb).
wagen_laenge(wagen13_5, lang).
hat_wand(wagen13_5, voll).
hat_dach(wagen13_5, festes_dach).
hat_rad(wagen13_5, 3).
hat_ladung(wagen13_5, keine).
ladungs_nummer(wagen13_5, 0).
hat_fenster(wagen13_5, voll).
wagen_typ(wagen13_5, personenwagen).
passagier_nummer(wagen13_5, 10).
hat_wagen(zug13, wagen13_6).
wagen_nummer(wagen13_6, 6).
wagen_farbe(wagen13_6, blau).
wagen_laenge(wagen13_6, kurz).
hat_wand(wagen13_6, voll).
hat_dach(wagen13_6, festes_dach).
hat_rad(wagen13_6, 2).
hat_ladung(wagen13_6, fass).
ladungs_nummer(wagen13_6, 1).
hat_fenster(wagen13_6, halb).
wagen_typ(wagen13_6, gueterwagen).
passagier_nummer(wagen13_6, 0).

ost(zug14).
hat_wagen(zug14, wagen14_1).
wagen_nummer(wagen14_1, 1).
wagen_farbe(wagen14_1, blau).
wagen_laenge(wagen14_1, kurz).
hat_wand(wagen14_1, voll).
hat_dach(wagen14_1, dach_fundament).
hat_rad(wagen14_1, 2).
hat_ladung(wagen14_1, ovale_vase).
ladungs_nummer(wagen14_1, 1).
hat_fenster(wagen14_1, halb).
wagen_typ(wagen14_1, gueterwagen).
passagier_nummer(wagen14_1, 0).
hat_wagen(zug14, wagen14_2).
wagen_nummer(wagen14_2, 2).
wagen_farbe(wagen14_2, gruen).
wagen_laenge(wagen14_2, lang).
hat_wand(wagen14_2, voll).
hat_dach(wagen14_2, verstrebtes_dach).
hat_rad(wagen14_2, 3).
hat_ladung(wagen14_2, metall_topf).
ladungs_nummer(wagen14_2, 1).
hat_fenster(wagen14_2, voll).
wagen_typ(wagen14_2, gemischt).
passagier_nummer(wagen14_2, 9).
hat_wagen(zug14, wagen14_3).
wagen_nummer(wagen14_3, 3).
wagen_farbe(wagen14_3, blau).
wagen_laenge(wagen14_3, lang).
hat_wand(wagen14_3, voll).
hat_dach(wagen14_3, verstrebtes_dach).
hat_rad(wagen14_3, 3).
hat_ladung(wagen14_3, keine).
ladungs_nummer(wagen14_3, 0).
hat_fenster(wagen14_3, voll).
wagen_typ(wagen14_3, personenwagen).
passagier_nummer(wagen14_3, 2).
hat_wagen(zug14, wagen14_4).
wagen_nummer(wagen14_4, 4).
wagen_farbe(wagen14_4, rot).
wagen_laenge(wagen14_4, lang).
hat_wand(wagen14_4, gelaender).
hat_dach(wagen14_4, verstrebtes_dach).
hat_rad(wagen14_4, 3).
hat_ladung(wagen14_4, ovale_vase).
ladungs_nummer(wagen14_4, 1).
hat_fenster(wagen14_4, voll).
wagen_typ(wagen14_4, gueterwagen).
passagier_nummer(wagen14_4, 0).
hat_wagen(zug14, wagen14_5).
wagen_nummer(wagen14_5, 5).
wagen_farbe(wagen14_5, rot).
wagen_laenge(wagen14_5, lang).
hat_wand(wagen14_5, gelaender).
hat_dach(wagen14_5, festes_dach).
hat_rad(wagen14_5, 3).
hat_ladung(wagen14_5, keine).
ladungs_nummer(wagen14_5, 0).
hat_fenster(wagen14_5, keine).
wagen_typ(wagen14_5, gueterwagen).
passagier_nummer(wagen14_5, 0).

west(zug15).
hat_wagen(zug15, wagen15_1).
wagen_nummer(wagen15_1, 1).
wagen_farbe(wagen15_1, rot).
wagen_laenge(wagen15_1, kurz).
hat_wand(wagen15_1, gelaender).
hat_dach(wagen15_1, keine).
hat_rad(wagen15_1, 2).
hat_ladung(wagen15_1, diamant).
ladungs_nummer(wagen15_1, 2).
hat_fenster(wagen15_1, halb).
wagen_typ(wagen15_1, gemischt).
passagier_nummer(wagen15_1, 8).
hat_wagen(zug15, wagen15_2).
wagen_nummer(wagen15_2, 2).
wagen_farbe(wagen15_2, weiss).
wagen_laenge(wagen15_2, lang).
hat_wand(wagen15_2, voll).
hat_dach(wagen15_2, verstrebtes_dach).
hat_rad(wagen15_2, 2).
hat_ladung(wagen15_2, keine).
ladungs_nummer(wagen15_2, 0).
hat_fenster(wagen15_2, voll).
wagen_typ(wagen15_2, gemischt).
passagier_nummer(wagen15_2, 0).
hat_wagen(zug15, wagen15_3).
wagen_nummer(wagen15_3, 3).
wagen_farbe(wagen15_3, gelb).
wagen_laenge(wagen15_3, kurz).
hat_wand(wagen15_3, voll).
hat_dach(wagen15_3, festes_dach).
hat_rad(wagen15_3, 2).
hat_ladung(wagen15_3, keine).
ladungs_nummer(wagen15_3, 0).
hat_fenster(wagen15_3, keine).
wagen_typ(wagen15_3, gemischt).
passagier_nummer(wagen15_3, 10).
hat_wagen(zug15, wagen15_4).
wagen_nummer(wagen15_4, 4).
wagen_farbe(wagen15_4, gruen).
wagen_laenge(wagen15_4, kurz).
hat_wand(wagen15_4, voll).
hat_dach(wagen15_4, festes_dach).
hat_rad(wagen15_4, 2).
hat_ladung(wagen15_4, metall_topf).
ladungs_nummer(wagen15_4, 1).
hat_fenster(wagen15_4, keine).
wagen_typ(wagen15_4, gemischt).
passagier_nummer(wagen15_4, 3).
hat_wagen(zug15, wagen15_5).
wagen_nummer(wagen15_5, 5).
wagen_farbe(wagen15_5, gruen).
wagen_laenge(wagen15_5, kurz).
hat_wand(wagen15_5, gelaender).
hat_dach(wagen15_5, keine).
hat_rad(wagen15_5, 2).
hat_ladung(wagen15_5, keine).
ladungs_nummer(wagen15_5, 0).
hat_fenster(wagen15_5, halb).
wagen_typ(wagen15_5, personenwagen).
passagier_nummer(wagen15_5, 7).
hat_wagen(zug15, wagen15_6).
wagen_nummer(wagen15_6, 6).
wagen_farbe(wagen15_6, blau).
wagen_laenge(wagen15_6, kurz).
hat_wand(wagen15_6, gelaender).
hat_dach(wagen15_6, verstrebtes_dach).
hat_rad(wagen15_6, 2).
hat_ladung(wagen15_6, keine).
ladungs_nummer(wagen15_6, 0).
hat_fenster(wagen15_6, voll).
wagen_typ(wagen15_6, personenwagen).
passagier_nummer(wagen15_6, 9).

west(zug16).
hat_wagen(zug16, wagen16_1).
wagen_nummer(wagen16_1, 1).
wagen_farbe(wagen16_1, gruen).
wagen_laenge(wagen16_1, kurz).
hat_wand(wagen16_1, voll).
hat_dach(wagen16_1, festes_dach).
hat_rad(wagen16_1, 2).
hat_ladung(wagen16_1, goldene_vase).
ladungs_nummer(wagen16_1, 2).
hat_fenster(wagen16_1, voll).
wagen_typ(wagen16_1, gueterwagen).
passagier_nummer(wagen16_1, 0).
hat_wagen(zug16, wagen16_2).
wagen_nummer(wagen16_2, 2).
wagen_farbe(wagen16_2, gruen).
wagen_laenge(wagen16_2, lang).
hat_wand(wagen16_2, voll).
hat_dach(wagen16_2, spitzdach).
hat_rad(wagen16_2, 2).
hat_ladung(wagen16_2, blaue_box).
ladungs_nummer(wagen16_2, 3).
hat_fenster(wagen16_2, voll).
wagen_typ(wagen16_2, gemischt).
passagier_nummer(wagen16_2, 1).
hat_wagen(zug16, wagen16_3).
wagen_nummer(wagen16_3, 3).
wagen_farbe(wagen16_3, gelb).
wagen_laenge(wagen16_3, kurz).
hat_wand(wagen16_3, voll).
hat_dach(wagen16_3, keine).
hat_rad(wagen16_3, 2).
hat_ladung(wagen16_3, keine).
ladungs_nummer(wagen16_3, 0).
hat_fenster(wagen16_3, keine).
wagen_typ(wagen16_3, gemischt).
passagier_nummer(wagen16_3, 7).
hat_wagen(zug16, wagen16_4).
wagen_nummer(wagen16_4, 4).
wagen_farbe(wagen16_4, gelb).
wagen_laenge(wagen16_4, kurz).
hat_wand(wagen16_4, voll).
hat_dach(wagen16_4, dach_fundament).
hat_rad(wagen16_4, 2).
hat_ladung(wagen16_4, diamant).
ladungs_nummer(wagen16_4, 2).
hat_fenster(wagen16_4, voll).
wagen_typ(wagen16_4, gemischt).
passagier_nummer(wagen16_4, 8).
hat_wagen(zug16, wagen16_5).
wagen_nummer(wagen16_5, 5).
wagen_farbe(wagen16_5, gelb).
wagen_laenge(wagen16_5, lang).
hat_wand(wagen16_5, voll).
hat_dach(wagen16_5, festes_dach).
hat_rad(wagen16_5, 2).
hat_ladung(wagen16_5, keine).
ladungs_nummer(wagen16_5, 0).
hat_fenster(wagen16_5, keine).
wagen_typ(wagen16_5, personenwagen).
passagier_nummer(wagen16_5, 10).
hat_wagen(zug16, wagen16_6).
wagen_nummer(wagen16_6, 6).
wagen_farbe(wagen16_6, gruen).
wagen_laenge(wagen16_6, kurz).
hat_wand(wagen16_6, gelaender).
hat_dach(wagen16_6, verstrebtes_dach).
hat_rad(wagen16_6, 2).
hat_ladung(wagen16_6, keine).
ladungs_nummer(wagen16_6, 0).
hat_fenster(wagen16_6, keine).
wagen_typ(wagen16_6, personenwagen).
passagier_nummer(wagen16_6, 6).

west(zug17).
hat_wagen(zug17, wagen17_1).
wagen_nummer(wagen17_1, 1).
wagen_farbe(wagen17_1, blau).
wagen_laenge(wagen17_1, kurz).
hat_wand(wagen17_1, voll).
hat_dach(wagen17_1, keine).
hat_rad(wagen17_1, 2).
hat_ladung(wagen17_1, metall_topf).
ladungs_nummer(wagen17_1, 1).
hat_fenster(wagen17_1, halb).
wagen_typ(wagen17_1, gemischt).
passagier_nummer(wagen17_1, 10).
hat_wagen(zug17, wagen17_2).
wagen_nummer(wagen17_2, 2).
wagen_farbe(wagen17_2, gruen).
wagen_laenge(wagen17_2, lang).
hat_wand(wagen17_2, voll).
hat_dach(wagen17_2, dach_fundament).
hat_rad(wagen17_2, 2).
hat_ladung(wagen17_2, goldene_vase).
ladungs_nummer(wagen17_2, 3).
hat_fenster(wagen17_2, keine).
wagen_typ(wagen17_2, gemischt).
passagier_nummer(wagen17_2, 10).
hat_wagen(zug17, wagen17_3).
wagen_nummer(wagen17_3, 3).
wagen_farbe(wagen17_3, gelb).
wagen_laenge(wagen17_3, kurz).
hat_wand(wagen17_3, gelaender).
hat_dach(wagen17_3, spitzdach).
hat_rad(wagen17_3, 2).
hat_ladung(wagen17_3, keine).
ladungs_nummer(wagen17_3, 0).
hat_fenster(wagen17_3, keine).
wagen_typ(wagen17_3, personenwagen).
passagier_nummer(wagen17_3, 4).
hat_wagen(zug17, wagen17_4).
wagen_nummer(wagen17_4, 4).
wagen_farbe(wagen17_4, weiss).
wagen_laenge(wagen17_4, kurz).
hat_wand(wagen17_4, voll).
hat_dach(wagen17_4, verstrebtes_dach).
hat_rad(wagen17_4, 2).
hat_ladung(wagen17_4, ovale_vase).
ladungs_nummer(wagen17_4, 2).
hat_fenster(wagen17_4, voll).
wagen_typ(wagen17_4, gemischt).
passagier_nummer(wagen17_4, 7).
hat_wagen(zug17, wagen17_5).
wagen_nummer(wagen17_5, 5).
wagen_farbe(wagen17_5, blau).
wagen_laenge(wagen17_5, lang).
hat_wand(wagen17_5, voll).
hat_dach(wagen17_5, keine).
hat_rad(wagen17_5, 2).
hat_ladung(wagen17_5, keine).
ladungs_nummer(wagen17_5, 0).
hat_fenster(wagen17_5, keine).
wagen_typ(wagen17_5, personenwagen).
passagier_nummer(wagen17_5, 7).
hat_wagen(zug17, wagen17_6).
wagen_nummer(wagen17_6, 6).
wagen_farbe(wagen17_6, rot).
wagen_laenge(wagen17_6, kurz).
hat_wand(wagen17_6, gelaender).
hat_dach(wagen17_6, keine).
hat_rad(wagen17_6, 2).
hat_ladung(wagen17_6, keine).
ladungs_nummer(wagen17_6, 0).
hat_fenster(wagen17_6, halb).
wagen_typ(wagen17_6, personenwagen).
passagier_nummer(wagen17_6, 6).

ost(zug18).
hat_wagen(zug18, wagen18_1).
wagen_nummer(wagen18_1, 1).
wagen_farbe(wagen18_1, weiss).
wagen_laenge(wagen18_1, lang).
hat_wand(wagen18_1, voll).
hat_dach(wagen18_1, keine).
hat_rad(wagen18_1, 2).
hat_ladung(wagen18_1, keine).
ladungs_nummer(wagen18_1, 0).
hat_fenster(wagen18_1, keine).
wagen_typ(wagen18_1, personenwagen).
passagier_nummer(wagen18_1, 0).
hat_wagen(zug18, wagen18_2).
wagen_nummer(wagen18_2, 2).
wagen_farbe(wagen18_2, rot).
wagen_laenge(wagen18_2, kurz).
hat_wand(wagen18_2, gelaender).
hat_dach(wagen18_2, dach_fundament).
hat_rad(wagen18_2, 2).
hat_ladung(wagen18_2, keine).
ladungs_nummer(wagen18_2, 0).
hat_fenster(wagen18_2, halb).
wagen_typ(wagen18_2, personenwagen).
passagier_nummer(wagen18_2, 8).
hat_wagen(zug18, wagen18_3).
wagen_nummer(wagen18_3, 3).
wagen_farbe(wagen18_3, weiss).
wagen_laenge(wagen18_3, lang).
hat_wand(wagen18_3, gelaender).
hat_dach(wagen18_3, festes_dach).
hat_rad(wagen18_3, 2).
hat_ladung(wagen18_3, keine).
ladungs_nummer(wagen18_3, 0).
hat_fenster(wagen18_3, halb).
wagen_typ(wagen18_3, gueterwagen).
passagier_nummer(wagen18_3, 0).
hat_wagen(zug18, wagen18_4).
wagen_nummer(wagen18_4, 4).
wagen_farbe(wagen18_4, gelb).
wagen_laenge(wagen18_4, kurz).
hat_wand(wagen18_4, voll).
hat_dach(wagen18_4, festes_dach).
hat_rad(wagen18_4, 2).
hat_ladung(wagen18_4, keine).
ladungs_nummer(wagen18_4, 0).
hat_fenster(wagen18_4, keine).
wagen_typ(wagen18_4, gemischt).
passagier_nummer(wagen18_4, 2).
hat_wagen(zug18, wagen18_5).
wagen_nummer(wagen18_5, 5).
wagen_farbe(wagen18_5, weiss).
wagen_laenge(wagen18_5, kurz).
hat_wand(wagen18_5, voll).
hat_dach(wagen18_5, dach_fundament).
hat_rad(wagen18_5, 2).
hat_ladung(wagen18_5, keine).
ladungs_nummer(wagen18_5, 0).
hat_fenster(wagen18_5, keine).
wagen_typ(wagen18_5, personenwagen).
passagier_nummer(wagen18_5, 4).

ost(zug19).
hat_wagen(zug19, wagen19_1).
wagen_nummer(wagen19_1, 1).
wagen_farbe(wagen19_1, blau).
wagen_laenge(wagen19_1, lang).
hat_wand(wagen19_1, voll).
hat_dach(wagen19_1, spitzdach).
hat_rad(wagen19_1, 3).
hat_ladung(wagen19_1, goldene_vase).
ladungs_nummer(wagen19_1, 3).
hat_fenster(wagen19_1, voll).
wagen_typ(wagen19_1, gemischt).
passagier_nummer(wagen19_1, 10).
hat_wagen(zug19, wagen19_2).
wagen_nummer(wagen19_2, 2).
wagen_farbe(wagen19_2, rot).
wagen_laenge(wagen19_2, lang).
hat_wand(wagen19_2, voll).
hat_dach(wagen19_2, keine).
hat_rad(wagen19_2, 3).
hat_ladung(wagen19_2, keine).
ladungs_nummer(wagen19_2, 0).
hat_fenster(wagen19_2, voll).
wagen_typ(wagen19_2, personenwagen).
passagier_nummer(wagen19_2, 8).
hat_wagen(zug19, wagen19_3).
wagen_nummer(wagen19_3, 3).
wagen_farbe(wagen19_3, blau).
wagen_laenge(wagen19_3, lang).
hat_wand(wagen19_3, voll).
hat_dach(wagen19_3, keine).
hat_rad(wagen19_3, 3).
hat_ladung(wagen19_3, blaue_box).
ladungs_nummer(wagen19_3, 2).
hat_fenster(wagen19_3, voll).
wagen_typ(wagen19_3, gueterwagen).
passagier_nummer(wagen19_3, 0).
hat_wagen(zug19, wagen19_4).
wagen_nummer(wagen19_4, 4).
wagen_farbe(wagen19_4, gruen).
wagen_laenge(wagen19_4, lang).
hat_wand(wagen19_4, voll).
hat_dach(wagen19_4, spitzdach).
hat_rad(wagen19_4, 3).
hat_ladung(wagen19_4, ovale_vase).
ladungs_nummer(wagen19_4, 3).
hat_fenster(wagen19_4, halb).
wagen_typ(wagen19_4, gemischt).
passagier_nummer(wagen19_4, 4).
hat_wagen(zug19, wagen19_5).
wagen_nummer(wagen19_5, 5).
wagen_farbe(wagen19_5, gruen).
wagen_laenge(wagen19_5, lang).
hat_wand(wagen19_5, gelaender).
hat_dach(wagen19_5, verstrebtes_dach).
hat_rad(wagen19_5, 3).
hat_ladung(wagen19_5, blaue_box).
ladungs_nummer(wagen19_5, 1).
hat_fenster(wagen19_5, keine).
wagen_typ(wagen19_5, gueterwagen).
passagier_nummer(wagen19_5, 0).

west(zug20).
hat_wagen(zug20, wagen20_1).
wagen_nummer(wagen20_1, 1).
wagen_farbe(wagen20_1, blau).
wagen_laenge(wagen20_1, kurz).
hat_wand(wagen20_1, voll).
hat_dach(wagen20_1, keine).
hat_rad(wagen20_1, 2).
hat_ladung(wagen20_1, goldene_vase).
ladungs_nummer(wagen20_1, 1).
hat_fenster(wagen20_1, keine).
wagen_typ(wagen20_1, gemischt).
passagier_nummer(wagen20_1, 5).
hat_wagen(zug20, wagen20_2).
wagen_nummer(wagen20_2, 2).
wagen_farbe(wagen20_2, blau).
wagen_laenge(wagen20_2, kurz).
hat_wand(wagen20_2, voll).
hat_dach(wagen20_2, festes_dach).
hat_rad(wagen20_2, 2).
hat_ladung(wagen20_2, keine).
ladungs_nummer(wagen20_2, 0).
hat_fenster(wagen20_2, keine).
wagen_typ(wagen20_2, gemischt).
passagier_nummer(wagen20_2, 3).
hat_wagen(zug20, wagen20_3).
wagen_nummer(wagen20_3, 3).
wagen_farbe(wagen20_3, weiss).
wagen_laenge(wagen20_3, kurz).
hat_wand(wagen20_3, voll).
hat_dach(wagen20_3, dach_fundament).
hat_rad(wagen20_3, 2).
hat_ladung(wagen20_3, keine).
ladungs_nummer(wagen20_3, 0).
hat_fenster(wagen20_3, halb).
wagen_typ(wagen20_3, personenwagen).
passagier_nummer(wagen20_3, 2).
hat_wagen(zug20, wagen20_4).
wagen_nummer(wagen20_4, 4).
wagen_farbe(wagen20_4, rot).
wagen_laenge(wagen20_4, lang).
hat_wand(wagen20_4, gelaender).
hat_dach(wagen20_4, keine).
hat_rad(wagen20_4, 2).
hat_ladung(wagen20_4, keine).
ladungs_nummer(wagen20_4, 0).
hat_fenster(wagen20_4, halb).
wagen_typ(wagen20_4, personenwagen).
passagier_nummer(wagen20_4, 4).
hat_wagen(zug20, wagen20_5).
wagen_nummer(wagen20_5, 5).
wagen_farbe(wagen20_5, blau).
wagen_laenge(wagen20_5, lang).
hat_wand(wagen20_5, voll).
hat_dach(wagen20_5, keine).
hat_rad(wagen20_5, 2).
hat_ladung(wagen20_5, fass).
ladungs_nummer(wagen20_5, 1).
hat_fenster(wagen20_5, halb).
wagen_typ(wagen20_5, gemischt).
passagier_nummer(wagen20_5, 3).
hat_wagen(zug20, wagen20_6).
wagen_nummer(wagen20_6, 6).
wagen_farbe(wagen20_6, gruen).
wagen_laenge(wagen20_6, kurz).
hat_wand(wagen20_6, voll).
hat_dach(wagen20_6, festes_dach).
hat_rad(wagen20_6, 2).
hat_ladung(wagen20_6, keine).
ladungs_nummer(wagen20_6, 0).
hat_fenster(wagen20_6, voll).
wagen_typ(wagen20_6, personenwagen).
passagier_nummer(wagen20_6, 2).

west(zug21).
hat_wagen(zug21, wagen21_1).
wagen_nummer(wagen21_1, 1).
wagen_farbe(wagen21_1, weiss).
wagen_laenge(wagen21_1, kurz).
hat_wand(wagen21_1, gelaender).
hat_dach(wagen21_1, verstrebtes_dach).
hat_rad(wagen21_1, 2).
hat_ladung(wagen21_1, keine).
ladungs_nummer(wagen21_1, 0).
hat_fenster(wagen21_1, voll).
wagen_typ(wagen21_1, personenwagen).
passagier_nummer(wagen21_1, 2).
hat_wagen(zug21, wagen21_2).
wagen_nummer(wagen21_2, 2).
wagen_farbe(wagen21_2, blau).
wagen_laenge(wagen21_2, lang).
hat_wand(wagen21_2, voll).
hat_dach(wagen21_2, dach_fundament).
hat_rad(wagen21_2, 2).
hat_ladung(wagen21_2, blaue_box).
ladungs_nummer(wagen21_2, 2).
hat_fenster(wagen21_2, halb).
wagen_typ(wagen21_2, gueterwagen).
passagier_nummer(wagen21_2, 0).
hat_wagen(zug21, wagen21_3).
wagen_nummer(wagen21_3, 3).
wagen_farbe(wagen21_3, gruen).
wagen_laenge(wagen21_3, lang).
hat_wand(wagen21_3, gelaender).
hat_dach(wagen21_3, dach_fundament).
hat_rad(wagen21_3, 2).
hat_ladung(wagen21_3, diamant).
ladungs_nummer(wagen21_3, 2).
hat_fenster(wagen21_3, voll).
wagen_typ(wagen21_3, gueterwagen).
passagier_nummer(wagen21_3, 0).
hat_wagen(zug21, wagen21_4).
wagen_nummer(wagen21_4, 4).
wagen_farbe(wagen21_4, gelb).
wagen_laenge(wagen21_4, kurz).
hat_wand(wagen21_4, voll).
hat_dach(wagen21_4, spitzdach).
hat_rad(wagen21_4, 2).
hat_ladung(wagen21_4, fass).
ladungs_nummer(wagen21_4, 2).
hat_fenster(wagen21_4, keine).
wagen_typ(wagen21_4, gemischt).
passagier_nummer(wagen21_4, 2).
hat_wagen(zug21, wagen21_5).
wagen_nummer(wagen21_5, 5).
wagen_farbe(wagen21_5, gruen).
wagen_laenge(wagen21_5, lang).
hat_wand(wagen21_5, gelaender).
hat_dach(wagen21_5, festes_dach).
hat_rad(wagen21_5, 2).
hat_ladung(wagen21_5, keine).
ladungs_nummer(wagen21_5, 0).
hat_fenster(wagen21_5, halb).
wagen_typ(wagen21_5, gueterwagen).
passagier_nummer(wagen21_5, 0).
hat_wagen(zug21, wagen21_6).
wagen_nummer(wagen21_6, 6).
wagen_farbe(wagen21_6, weiss).
wagen_laenge(wagen21_6, kurz).
hat_wand(wagen21_6, voll).
hat_dach(wagen21_6, spitzdach).
hat_rad(wagen21_6, 2).
hat_ladung(wagen21_6, ovale_vase).
ladungs_nummer(wagen21_6, 1).
hat_fenster(wagen21_6, voll).
wagen_typ(wagen21_6, gueterwagen).
passagier_nummer(wagen21_6, 0).

ost(zug22).
hat_wagen(zug22, wagen22_1).
wagen_nummer(wagen22_1, 1).
wagen_farbe(wagen22_1, blau).
wagen_laenge(wagen22_1, kurz).
hat_wand(wagen22_1, voll).
hat_dach(wagen22_1, keine).
hat_rad(wagen22_1, 2).
hat_ladung(wagen22_1, keine).
ladungs_nummer(wagen22_1, 0).
hat_fenster(wagen22_1, voll).
wagen_typ(wagen22_1, personenwagen).
passagier_nummer(wagen22_1, 2).
hat_wagen(zug22, wagen22_2).
wagen_nummer(wagen22_2, 2).
wagen_farbe(wagen22_2, gruen).
wagen_laenge(wagen22_2, lang).
hat_wand(wagen22_2, gelaender).
hat_dach(wagen22_2, spitzdach).
hat_rad(wagen22_2, 3).
hat_ladung(wagen22_2, keine).
ladungs_nummer(wagen22_2, 0).
hat_fenster(wagen22_2, halb).
wagen_typ(wagen22_2, personenwagen).
passagier_nummer(wagen22_2, 8).
hat_wagen(zug22, wagen22_3).
wagen_nummer(wagen22_3, 3).
wagen_farbe(wagen22_3, weiss).
wagen_laenge(wagen22_3, lang).
hat_wand(wagen22_3, voll).
hat_dach(wagen22_3, keine).
hat_rad(wagen22_3, 3).
hat_ladung(wagen22_3, keine).
ladungs_nummer(wagen22_3, 0).
hat_fenster(wagen22_3, keine).
wagen_typ(wagen22_3, personenwagen).
passagier_nummer(wagen22_3, 6).
hat_wagen(zug22, wagen22_4).
wagen_nummer(wagen22_4, 4).
wagen_farbe(wagen22_4, gruen).
wagen_laenge(wagen22_4, lang).
hat_wand(wagen22_4, voll).
hat_dach(wagen22_4, spitzdach).
hat_rad(wagen22_4, 3).
hat_ladung(wagen22_4, ovale_vase).
ladungs_nummer(wagen22_4, 3).
hat_fenster(wagen22_4, halb).
wagen_typ(wagen22_4, gueterwagen).
passagier_nummer(wagen22_4, 0).
hat_wagen(zug22, wagen22_5).
wagen_nummer(wagen22_5, 5).
wagen_farbe(wagen22_5, gelb).
wagen_laenge(wagen22_5, lang).
hat_wand(wagen22_5, gelaender).
hat_dach(wagen22_5, keine).
hat_rad(wagen22_5, 3).
hat_ladung(wagen22_5, keine).
ladungs_nummer(wagen22_5, 0).
hat_fenster(wagen22_5, halb).
wagen_typ(wagen22_5, personenwagen).
passagier_nummer(wagen22_5, 5).

ost(zug23).
hat_wagen(zug23, wagen23_1).
wagen_nummer(wagen23_1, 1).
wagen_farbe(wagen23_1, rot).
wagen_laenge(wagen23_1, lang).
hat_wand(wagen23_1, gelaender).
hat_dach(wagen23_1, spitzdach).
hat_rad(wagen23_1, 3).
hat_ladung(wagen23_1, keine).
ladungs_nummer(wagen23_1, 0).
hat_fenster(wagen23_1, halb).
wagen_typ(wagen23_1, gueterwagen).
passagier_nummer(wagen23_1, 0).
hat_wagen(zug23, wagen23_2).
wagen_nummer(wagen23_2, 2).
wagen_farbe(wagen23_2, weiss).
wagen_laenge(wagen23_2, lang).
hat_wand(wagen23_2, voll).
hat_dach(wagen23_2, spitzdach).
hat_rad(wagen23_2, 3).
hat_ladung(wagen23_2, keine).
ladungs_nummer(wagen23_2, 0).
hat_fenster(wagen23_2, halb).
wagen_typ(wagen23_2, gemischt).
passagier_nummer(wagen23_2, 6).
hat_wagen(zug23, wagen23_3).
wagen_nummer(wagen23_3, 3).
wagen_farbe(wagen23_3, gruen).
wagen_laenge(wagen23_3, kurz).
hat_wand(wagen23_3, gelaender).
hat_dach(wagen23_3, keine).
hat_rad(wagen23_3, 2).
hat_ladung(wagen23_3, diamant).
ladungs_nummer(wagen23_3, 2).
hat_fenster(wagen23_3, halb).
wagen_typ(wagen23_3, gueterwagen).
passagier_nummer(wagen23_3, 0).
hat_wagen(zug23, wagen23_4).
wagen_nummer(wagen23_4, 4).
wagen_farbe(wagen23_4, gruen).
wagen_laenge(wagen23_4, lang).
hat_wand(wagen23_4, voll).
hat_dach(wagen23_4, festes_dach).
hat_rad(wagen23_4, 3).
hat_ladung(wagen23_4, diamant).
ladungs_nummer(wagen23_4, 2).
hat_fenster(wagen23_4, keine).
wagen_typ(wagen23_4, gemischt).
passagier_nummer(wagen23_4, 1).
hat_wagen(zug23, wagen23_5).
wagen_nummer(wagen23_5, 5).
wagen_farbe(wagen23_5, blau).
wagen_laenge(wagen23_5, kurz).
hat_wand(wagen23_5, gelaender).
hat_dach(wagen23_5, keine).
hat_rad(wagen23_5, 2).
hat_ladung(wagen23_5, diamant).
ladungs_nummer(wagen23_5, 2).
hat_fenster(wagen23_5, voll).
wagen_typ(wagen23_5, gemischt).
passagier_nummer(wagen23_5, 9).

ost(zug24).
hat_wagen(zug24, wagen24_1).
wagen_nummer(wagen24_1, 1).
wagen_farbe(wagen24_1, gruen).
wagen_laenge(wagen24_1, lang).
hat_wand(wagen24_1, voll).
hat_dach(wagen24_1, festes_dach).
hat_rad(wagen24_1, 2).
hat_ladung(wagen24_1, ovale_vase).
ladungs_nummer(wagen24_1, 3).
hat_fenster(wagen24_1, halb).
wagen_typ(wagen24_1, gemischt).
passagier_nummer(wagen24_1, 1).
hat_wagen(zug24, wagen24_2).
wagen_nummer(wagen24_2, 2).
wagen_farbe(wagen24_2, gelb).
wagen_laenge(wagen24_2, kurz).
hat_wand(wagen24_2, gelaender).
hat_dach(wagen24_2, festes_dach).
hat_rad(wagen24_2, 2).
hat_ladung(wagen24_2, diamant).
ladungs_nummer(wagen24_2, 1).
hat_fenster(wagen24_2, voll).
wagen_typ(wagen24_2, gemischt).
passagier_nummer(wagen24_2, 10).
hat_wagen(zug24, wagen24_3).
wagen_nummer(wagen24_3, 3).
wagen_farbe(wagen24_3, rot).
wagen_laenge(wagen24_3, kurz).
hat_wand(wagen24_3, voll).
hat_dach(wagen24_3, spitzdach).
hat_rad(wagen24_3, 2).
hat_ladung(wagen24_3, keine).
ladungs_nummer(wagen24_3, 0).
hat_fenster(wagen24_3, keine).
wagen_typ(wagen24_3, personenwagen).
passagier_nummer(wagen24_3, 6).
hat_wagen(zug24, wagen24_4).
wagen_nummer(wagen24_4, 4).
wagen_farbe(wagen24_4, gelb).
wagen_laenge(wagen24_4, kurz).
hat_wand(wagen24_4, gelaender).
hat_dach(wagen24_4, spitzdach).
hat_rad(wagen24_4, 2).
hat_ladung(wagen24_4, goldene_vase).
ladungs_nummer(wagen24_4, 1).
hat_fenster(wagen24_4, keine).
wagen_typ(wagen24_4, gueterwagen).
passagier_nummer(wagen24_4, 0).
hat_wagen(zug24, wagen24_5).
wagen_nummer(wagen24_5, 5).
wagen_farbe(wagen24_5, blau).
wagen_laenge(wagen24_5, lang).
hat_wand(wagen24_5, gelaender).
hat_dach(wagen24_5, spitzdach).
hat_rad(wagen24_5, 2).
hat_ladung(wagen24_5, keine).
ladungs_nummer(wagen24_5, 0).
hat_fenster(wagen24_5, halb).
wagen_typ(wagen24_5, personenwagen).
passagier_nummer(wagen24_5, 5).

west(zug25).
hat_wagen(zug25, wagen25_1).
wagen_nummer(wagen25_1, 1).
wagen_farbe(wagen25_1, weiss).
wagen_laenge(wagen25_1, lang).
hat_wand(wagen25_1, voll).
hat_dach(wagen25_1, verstrebtes_dach).
hat_rad(wagen25_1, 3).
hat_ladung(wagen25_1, ovale_vase).
ladungs_nummer(wagen25_1, 3).
hat_fenster(wagen25_1, voll).
wagen_typ(wagen25_1, gemischt).
passagier_nummer(wagen25_1, 3).
hat_wagen(zug25, wagen25_2).
wagen_nummer(wagen25_2, 2).
wagen_farbe(wagen25_2, gelb).
wagen_laenge(wagen25_2, kurz).
hat_wand(wagen25_2, gelaender).
hat_dach(wagen25_2, festes_dach).
hat_rad(wagen25_2, 2).
hat_ladung(wagen25_2, keine).
ladungs_nummer(wagen25_2, 0).
hat_fenster(wagen25_2, voll).
wagen_typ(wagen25_2, personenwagen).
passagier_nummer(wagen25_2, 1).
hat_wagen(zug25, wagen25_3).
wagen_nummer(wagen25_3, 3).
wagen_farbe(wagen25_3, gelb).
wagen_laenge(wagen25_3, kurz).
hat_wand(wagen25_3, voll).
hat_dach(wagen25_3, spitzdach).
hat_rad(wagen25_3, 2).
hat_ladung(wagen25_3, fass).
ladungs_nummer(wagen25_3, 1).
hat_fenster(wagen25_3, voll).
wagen_typ(wagen25_3, gemischt).
passagier_nummer(wagen25_3, 10).
hat_wagen(zug25, wagen25_4).
wagen_nummer(wagen25_4, 4).
wagen_farbe(wagen25_4, weiss).
wagen_laenge(wagen25_4, lang).
hat_wand(wagen25_4, voll).
hat_dach(wagen25_4, keine).
hat_rad(wagen25_4, 2).
hat_ladung(wagen25_4, goldene_vase).
ladungs_nummer(wagen25_4, 1).
hat_fenster(wagen25_4, keine).
wagen_typ(wagen25_4, gueterwagen).
passagier_nummer(wagen25_4, 0).
hat_wagen(zug25, wagen25_5).
wagen_nummer(wagen25_5, 5).
wagen_farbe(wagen25_5, weiss).
wagen_laenge(wagen25_5, kurz).
hat_wand(wagen25_5, gelaender).
hat_dach(wagen25_5, keine).
hat_rad(wagen25_5, 2).
hat_ladung(wagen25_5, keine).
ladungs_nummer(wagen25_5, 0).
hat_fenster(wagen25_5, keine).
wagen_typ(wagen25_5, personenwagen).
passagier_nummer(wagen25_5, 9).
hat_wagen(zug25, wagen25_6).
wagen_nummer(wagen25_6, 6).
wagen_farbe(wagen25_6, gruen).
wagen_laenge(wagen25_6, lang).
hat_wand(wagen25_6, voll).
hat_dach(wagen25_6, dach_fundament).
hat_rad(wagen25_6, 2).
hat_ladung(wagen25_6, keine).
ladungs_nummer(wagen25_6, 0).
hat_fenster(wagen25_6, halb).
wagen_typ(wagen25_6, personenwagen).
passagier_nummer(wagen25_6, 2).

west(zug26).
hat_wagen(zug26, wagen26_1).
wagen_nummer(wagen26_1, 1).
wagen_farbe(wagen26_1, blau).
wagen_laenge(wagen26_1, lang).
hat_wand(wagen26_1, voll).
hat_dach(wagen26_1, dach_fundament).
hat_rad(wagen26_1, 3).
hat_ladung(wagen26_1, keine).
ladungs_nummer(wagen26_1, 0).
hat_fenster(wagen26_1, halb).
wagen_typ(wagen26_1, gueterwagen).
passagier_nummer(wagen26_1, 0).
hat_wagen(zug26, wagen26_2).
wagen_nummer(wagen26_2, 2).
wagen_farbe(wagen26_2, rot).
wagen_laenge(wagen26_2, kurz).
hat_wand(wagen26_2, gelaender).
hat_dach(wagen26_2, spitzdach).
hat_rad(wagen26_2, 2).
hat_ladung(wagen26_2, fass).
ladungs_nummer(wagen26_2, 2).
hat_fenster(wagen26_2, keine).
wagen_typ(wagen26_2, gemischt).
passagier_nummer(wagen26_2, 8).
hat_wagen(zug26, wagen26_3).
wagen_nummer(wagen26_3, 3).
wagen_farbe(wagen26_3, gruen).
wagen_laenge(wagen26_3, kurz).
hat_wand(wagen26_3, voll).
hat_dach(wagen26_3, verstrebtes_dach).
hat_rad(wagen26_3, 2).
hat_ladung(wagen26_3, goldene_vase).
ladungs_nummer(wagen26_3, 2).
hat_fenster(wagen26_3, keine).
wagen_typ(wagen26_3, gemischt).
passagier_nummer(wagen26_3, 7).
hat_wagen(zug26, wagen26_4).
wagen_nummer(wagen26_4, 4).
wagen_farbe(wagen26_4, weiss).
wagen_laenge(wagen26_4, kurz).
hat_wand(wagen26_4, gelaender).
hat_dach(wagen26_4, verstrebtes_dach).
hat_rad(wagen26_4, 2).
hat_ladung(wagen26_4, goldene_vase).
ladungs_nummer(wagen26_4, 2).
hat_fenster(wagen26_4, voll).
wagen_typ(wagen26_4, gemischt).
passagier_nummer(wagen26_4, 4).
hat_wagen(zug26, wagen26_5).
wagen_nummer(wagen26_5, 5).
wagen_farbe(wagen26_5, rot).
wagen_laenge(wagen26_5, kurz).
hat_wand(wagen26_5, gelaender).
hat_dach(wagen26_5, festes_dach).
hat_rad(wagen26_5, 2).
hat_ladung(wagen26_5, keine).
ladungs_nummer(wagen26_5, 0).
hat_fenster(wagen26_5, keine).
wagen_typ(wagen26_5, gueterwagen).
passagier_nummer(wagen26_5, 0).
hat_wagen(zug26, wagen26_6).
wagen_nummer(wagen26_6, 6).
wagen_farbe(wagen26_6, rot).
wagen_laenge(wagen26_6, kurz).
hat_wand(wagen26_6, gelaender).
hat_dach(wagen26_6, spitzdach).
hat_rad(wagen26_6, 2).
hat_ladung(wagen26_6, diamant).
ladungs_nummer(wagen26_6, 2).
hat_fenster(wagen26_6, voll).
wagen_typ(wagen26_6, gemischt).
passagier_nummer(wagen26_6, 1).

ost(zug27).
hat_wagen(zug27, wagen27_1).
wagen_nummer(wagen27_1, 1).
wagen_farbe(wagen27_1, rot).
wagen_laenge(wagen27_1, lang).
hat_wand(wagen27_1, gelaender).
hat_dach(wagen27_1, keine).
hat_rad(wagen27_1, 3).
hat_ladung(wagen27_1, keine).
ladungs_nummer(wagen27_1, 0).
hat_fenster(wagen27_1, voll).
wagen_typ(wagen27_1, gueterwagen).
passagier_nummer(wagen27_1, 0).
hat_wagen(zug27, wagen27_2).
wagen_nummer(wagen27_2, 2).
wagen_farbe(wagen27_2, weiss).
wagen_laenge(wagen27_2, lang).
hat_wand(wagen27_2, gelaender).
hat_dach(wagen27_2, festes_dach).
hat_rad(wagen27_2, 2).
hat_ladung(wagen27_2, keine).
ladungs_nummer(wagen27_2, 0).
hat_fenster(wagen27_2, keine).
wagen_typ(wagen27_2, personenwagen).
passagier_nummer(wagen27_2, 3).
hat_wagen(zug27, wagen27_3).
wagen_nummer(wagen27_3, 3).
wagen_farbe(wagen27_3, rot).
wagen_laenge(wagen27_3, kurz).
hat_wand(wagen27_3, gelaender).
hat_dach(wagen27_3, keine).
hat_rad(wagen27_3, 2).
hat_ladung(wagen27_3, keine).
ladungs_nummer(wagen27_3, 0).
hat_fenster(wagen27_3, voll).
wagen_typ(wagen27_3, personenwagen).
passagier_nummer(wagen27_3, 1).
hat_wagen(zug27, wagen27_4).
wagen_nummer(wagen27_4, 4).
wagen_farbe(wagen27_4, gelb).
wagen_laenge(wagen27_4, lang).
hat_wand(wagen27_4, voll).
hat_dach(wagen27_4, spitzdach).
hat_rad(wagen27_4, 2).
hat_ladung(wagen27_4, keine).
ladungs_nummer(wagen27_4, 0).
hat_fenster(wagen27_4, halb).
wagen_typ(wagen27_4, personenwagen).
passagier_nummer(wagen27_4, 4).
hat_wagen(zug27, wagen27_5).
wagen_nummer(wagen27_5, 5).
wagen_farbe(wagen27_5, gruen).
wagen_laenge(wagen27_5, kurz).
hat_wand(wagen27_5, voll).
hat_dach(wagen27_5, keine).
hat_rad(wagen27_5, 2).
hat_ladung(wagen27_5, ovale_vase).
ladungs_nummer(wagen27_5, 2).
hat_fenster(wagen27_5, keine).
wagen_typ(wagen27_5, gemischt).
passagier_nummer(wagen27_5, 4).

ost(zug28).
hat_wagen(zug28, wagen28_1).
wagen_nummer(wagen28_1, 1).
wagen_farbe(wagen28_1, rot).
wagen_laenge(wagen28_1, kurz).
hat_wand(wagen28_1, gelaender).
hat_dach(wagen28_1, dach_fundament).
hat_rad(wagen28_1, 2).
hat_ladung(wagen28_1, metall_topf).
ladungs_nummer(wagen28_1, 1).
hat_fenster(wagen28_1, keine).
wagen_typ(wagen28_1, gueterwagen).
passagier_nummer(wagen28_1, 0).
hat_wagen(zug28, wagen28_2).
wagen_nummer(wagen28_2, 2).
wagen_farbe(wagen28_2, rot).
wagen_laenge(wagen28_2, lang).
hat_wand(wagen28_2, voll).
hat_dach(wagen28_2, festes_dach).
hat_rad(wagen28_2, 3).
hat_ladung(wagen28_2, blaue_box).
ladungs_nummer(wagen28_2, 2).
hat_fenster(wagen28_2, keine).
wagen_typ(wagen28_2, gemischt).
passagier_nummer(wagen28_2, 0).
hat_wagen(zug28, wagen28_3).
wagen_nummer(wagen28_3, 3).
wagen_farbe(wagen28_3, gelb).
wagen_laenge(wagen28_3, kurz).
hat_wand(wagen28_3, gelaender).
hat_dach(wagen28_3, verstrebtes_dach).
hat_rad(wagen28_3, 2).
hat_ladung(wagen28_3, metall_topf).
ladungs_nummer(wagen28_3, 1).
hat_fenster(wagen28_3, voll).
wagen_typ(wagen28_3, gueterwagen).
passagier_nummer(wagen28_3, 0).
hat_wagen(zug28, wagen28_4).
wagen_nummer(wagen28_4, 4).
wagen_farbe(wagen28_4, rot).
wagen_laenge(wagen28_4, kurz).
hat_wand(wagen28_4, voll).
hat_dach(wagen28_4, keine).
hat_rad(wagen28_4, 2).
hat_ladung(wagen28_4, keine).
ladungs_nummer(wagen28_4, 0).
hat_fenster(wagen28_4, keine).
wagen_typ(wagen28_4, gueterwagen).
passagier_nummer(wagen28_4, 0).
hat_wagen(zug28, wagen28_5).
wagen_nummer(wagen28_5, 5).
wagen_farbe(wagen28_5, rot).
wagen_laenge(wagen28_5, kurz).
hat_wand(wagen28_5, gelaender).
hat_dach(wagen28_5, dach_fundament).
hat_rad(wagen28_5, 2).
hat_ladung(wagen28_5, keine).
ladungs_nummer(wagen28_5, 0).
hat_fenster(wagen28_5, voll).
wagen_typ(wagen28_5, personenwagen).
passagier_nummer(wagen28_5, 4).

ost(zug29).
hat_wagen(zug29, wagen29_1).
wagen_nummer(wagen29_1, 1).
wagen_farbe(wagen29_1, weiss).
wagen_laenge(wagen29_1, kurz).
hat_wand(wagen29_1, gelaender).
hat_dach(wagen29_1, festes_dach).
hat_rad(wagen29_1, 2).
hat_ladung(wagen29_1, fass).
ladungs_nummer(wagen29_1, 1).
hat_fenster(wagen29_1, halb).
wagen_typ(wagen29_1, gueterwagen).
passagier_nummer(wagen29_1, 0).
hat_wagen(zug29, wagen29_2).
wagen_nummer(wagen29_2, 2).
wagen_farbe(wagen29_2, weiss).
wagen_laenge(wagen29_2, kurz).
hat_wand(wagen29_2, gelaender).
hat_dach(wagen29_2, festes_dach).
hat_rad(wagen29_2, 2).
hat_ladung(wagen29_2, fass).
ladungs_nummer(wagen29_2, 2).
hat_fenster(wagen29_2, voll).
wagen_typ(wagen29_2, gemischt).
passagier_nummer(wagen29_2, 7).
hat_wagen(zug29, wagen29_3).
wagen_nummer(wagen29_3, 3).
wagen_farbe(wagen29_3, gruen).
wagen_laenge(wagen29_3, lang).
hat_wand(wagen29_3, gelaender).
hat_dach(wagen29_3, spitzdach).
hat_rad(wagen29_3, 2).
hat_ladung(wagen29_3, ovale_vase).
ladungs_nummer(wagen29_3, 3).
hat_fenster(wagen29_3, voll).
wagen_typ(wagen29_3, gemischt).
passagier_nummer(wagen29_3, 0).
hat_wagen(zug29, wagen29_4).
wagen_nummer(wagen29_4, 4).
wagen_farbe(wagen29_4, weiss).
wagen_laenge(wagen29_4, kurz).
hat_wand(wagen29_4, gelaender).
hat_dach(wagen29_4, keine).
hat_rad(wagen29_4, 2).
hat_ladung(wagen29_4, keine).
ladungs_nummer(wagen29_4, 0).
hat_fenster(wagen29_4, keine).
wagen_typ(wagen29_4, gueterwagen).
passagier_nummer(wagen29_4, 0).
hat_wagen(zug29, wagen29_5).
wagen_nummer(wagen29_5, 5).
wagen_farbe(wagen29_5, blau).
wagen_laenge(wagen29_5, lang).
hat_wand(wagen29_5, voll).
hat_dach(wagen29_5, spitzdach).
hat_rad(wagen29_5, 3).
hat_ladung(wagen29_5, keine).
ladungs_nummer(wagen29_5, 0).
hat_fenster(wagen29_5, halb).
wagen_typ(wagen29_5, personenwagen).
passagier_nummer(wagen29_5, 0).


west 147 1 gelb lang voll keine 2 keine 0 voll gemischt 8 2 gelb lang gelaender spitzdach 2 keine 0 keine gueterwagen 0 3 blau kurz voll verstrebtes_dach 2 keine 0 halb gueterwagen 0 4 weiss lang gelaender dach_fundament 3 keine 0 keine gemischt 5 5 weiss kurz gelaender festes_dach 2 keine 0 voll gueterwagen 0 6 gruen lang voll keine 3 metall_topf 3 halb gueterwagen 0
west 32 1 gruen kurz gelaender verstrebtes_dach 2 keine 0 keine personenwagen 7 2 blau kurz gelaender verstrebtes_dach 2 keine 0 keine gueterwagen 0 3 blau kurz gelaender verstrebtes_dach 2 blaue_box 2 keine gueterwagen 0 4 rot lang gelaender verstrebtes_dach 3 keine 0 keine personenwagen 9 5 rot kurz gelaender keine 2 diamant 2 voll gemischt 10 6 gruen kurz gelaender verstrebtes_dach 2 keine 0 halb gemischt 3
west 228 1 gelb lang voll festes_dach 3 keine 0 halb gemischt 0 2 weiss lang voll keine 3 keine 0 halb personenwagen 2 3 rot kurz voll keine 2 keine 0 voll personenwagen 2 4 gruen kurz voll festes_dach 2 goldene_vase 2 keine gueterwagen 0 5 rot lang gelaender dach_fundament 3 goldene_vase 1 voll gueterwagen 0 6 weiss lang voll keine 2 keine 0 halb gueterwagen 0
ost -31 1 blau lang voll keine 3 keine 0 keine gemischt 4 2 gruen kurz gelaender dach_fundament 2 keine 0 halb personenwagen 10 3 gelb lang voll spitzdach 2 keine 0 keine personenwagen 4 4 rot kurz gelaender verstrebtes_dach 2 fass 1 keine gemischt 1 5 blau kurz voll festes_dach 2 keine 0 halb personenwagen 2
west 59 1 weiss kurz voll keine 2 ovale_vase 1 keine gueterwagen 0 2 weiss kurz voll verstrebtes_dach 2 keine 0 voll gemischt 5 3 rot lang gelaender keine 3 metall_topf 3 halb gueterwagen 0 4 gelb lang voll dach_fundament 3 diamant 1 halb gemischt 3 5 rot lang voll dach_fundament 3 fass 1 voll gemischt 8 6 rot lang voll keine 2 keine 0 voll gemischt 8
west -26 1 gelb lang gelaender festes_dach 3 blaue_box 1 halb gueterwagen 0 2 gelb kurz voll keine 2 metall_topf 1 voll gemischt 8 3 weiss kurz gelaender verstrebtes_dach 2 keine 0 keine personenwagen 2 4 rot lang gelaender spitzdach 3 keine 0 voll personenwagen 4 5 rot lang voll spitzdach 2 keine 0 halb personenwagen 10 6 gruen kurz voll verstrebtes_dach 2 keine 0 voll personenwagen 5
ost 237 1 rot lang voll spitzdach 2 blaue_box 1 voll gemischt 6 2 rot kurz gelaender keine 2 keine 0 voll gemischt 9 3 gelb kurz voll festes_dach 2 ovale_vase 2 keine gemischt 3 4 blau kurz gelaender spitzdach 2 keine 0 halb gemischt 5 5 weiss lang gelaender dach_fundament 2 keine 0 voll gueterwagen 0
west 21 1 weiss kurz gelaender spitzdach 2 fass 2 keine gemischt 4 2 gruen lang voll verstrebtes_dach 3 fass 2 voll gemischt 3 3 rot lang gelaender verstrebtes_dach 3 keine 0 halb personenwagen 2 4 rot lang voll keine 2 keine 0 voll personenwagen 3 5 gruen kurz voll dach_fundament 2 fass 1 voll gemischt 10 6 rot lang gelaender festes_dach 2 blaue_box 2 voll gemischt 4
ost 213 1 rot lang voll dach_fundament 2 metall_topf 2 halb gueterwagen 0 2 gruen kurz voll spitzdach 2 keine 0 keine personenwagen 5 3 gelb kurz voll dach_fundament 2 keine 0 voll personenwagen 0 4 blau lang gelaender keine 2 diamant 3 halb gueterwagen 0 5 gelb kurz gelaender spitzdach 2 keine 0 voll gemischt 10
ost 220 1 gruen kurz gelaender verstrebtes_dach 2 fass 1 keine gemischt 9 2 blau lang voll verstrebtes_dach 2 keine 0 keine personenwagen 9 3 weiss lang voll keine 2 fass 1 halb gueterwagen 0 4 blau lang gelaender festes_dach 2 keine 0 keine personenwagen 7 5 weiss kurz gelaender dach_fundament 2 blaue_box 2 voll gemischt 1
west 203 1 blau lang gelaender keine 3 diamant 2 voll gueterwagen 0 2 blau lang voll festes_dach 2 keine 0 halb personenwagen 9 3 weiss lang voll keine 3 blaue_box 1 keine gueterwagen 0 4 weiss lang gelaender dach_fundament 3 keine 0 keine personenwagen 0 5 gruen lang voll festes_dach 3 metall_topf 3 halb gemischt 4 6 rot lang gelaender festes_dach 2 keine 0 halb personenwagen 4
ost 53 1 gruen kurz voll verstrebtes_dach 2 keine 0 halb personenwagen 6 2 gelb kurz gelaender spitzdach 2 keine 0 halb personenwagen 10 3 weiss lang gelaender festes_dach 3 diamant 3 voll gueterwagen 0 4 weiss kurz voll dach_fundament 2 ovale_vase 1 halb gueterwagen 0 5 gruen lang voll festes_dach 2 fass 2 halb gueterwagen 0
ost -22 1 gelb kurz voll spitzdach 2 keine 0 keine personenwagen 0 2 weiss kurz gelaender spitzdach 2 keine 0 keine personenwagen 9 3 blau lang gelaender verstrebtes_dach 3 diamant 1 halb gueterwagen 0 4 weiss kurz voll verstrebtes_dach 2 goldene_vase 1 halb gueterwagen 0 5 gelb lang gelaender festes_dach 3 keine 0 keine gemischt 6
west -42 1 gelb kurz voll spitzdach 2 keine 0 keine personenwagen 8 2 gruen kurz voll verstrebtes_dach 2 blaue_box 1 halb gemischt 5 3 weiss kurz voll spitzdach 2 metall_topf 2 keine gueterwagen 0 4 gruen kurz gelaender festes_dach 2 blaue_box 2 voll gemischt 8 5 gelb lang voll festes_dach 3 keine 0 voll personenwagen 10 6 blau kurz voll festes_dach 2 fass 1 halb gueterwagen 0
ost 202 1 blau kurz voll dach_fundament 2 ovale_vase 1 halb gueterwagen 0 2 gruen lang voll verstrebtes_dach 3 metall_topf 1 voll gemischt 9 3 blau lang voll verstrebtes_dach 3 keine 0 voll personenwagen 2 4 rot lang gelaender verstrebtes_dach 3 ovale_vase 1 voll gueterwagen 0 5 rot lang gelaender festes_dach 3 keine 0 keine gueterwagen 0
west 234 1 rot kurz gelaender keine 2 diamant 2 halb gemischt 8 2 weiss lang voll verstrebtes_dach 2 keine 0 voll gemischt 0 3 gelb kurz voll festes_dach 2 keine 0 keine gemischt 10 4 gruen kurz voll festes_dach 2 metall_topf 1 keine gemischt 3 5 gruen kurz gelaender keine 2 keine 0 halb personenwagen 7 6 blau kurz gelaender verstrebtes_dach 2 keine 0 voll personenwagen 9
west 31 1 gruen kurz voll festes_dach 2 goldene_vase 2 voll gueterwagen 0 2 gruen lang voll spitzdach 2 blaue_box 3 voll gemischt 1 3 gelb kurz voll keine 2 keine 0 keine gemischt 7 4 gelb kurz voll dach_fundament 2 diamant 2 voll gemischt 8 5 gelb lang voll festes_dach 2 keine 0 keine personenwagen 10 6 gruen kurz gelaender verstrebtes_dach 2 keine 0 keine personenwagen 6
west 134 1 blau kurz voll keine 2 metall_topf 1 halb gemischt 10 2 gruen lang voll dach_fundament 2 goldene_vase 3 keine gemischt 10 3 gelb kurz gelaender spitzdach 2 keine 0 keine personenwagen 4 4 weiss kurz voll verstrebtes_dach 2 ovale_vase 2 voll gemischt 7 5 blau lang voll keine 2 keine 0 keine personenwagen 7 6 rot kurz gelaender keine 2 keine 0 halb personenwagen 6
ost 36 1 weiss lang voll keine 2 keine 0 keine personenwagen 0 2 rot kurz gelaender dach_fundament 2 keine 0 halb personenwagen 8 3 weiss lang gelaender festes_dach 2 keine 0 halb gueterwagen 0 4 gelb kurz voll festes_dach 2 keine 0 keine gemischt 2 5 weiss kurz voll dach_fundament 2 keine 0 keine personenwagen 4
ost 211 1 blau lang voll spitzdach 3 goldene_vase 3 voll gemischt 10 2 rot lang voll keine 3 keine 0 voll personenwagen 8 3 blau lang voll keine 3 blaue_box 2 voll gueterwagen 0 4 gruen lang voll spitzdach 3 ovale_vase 3 halb gemischt 4 5 gruen lang gelaender verstrebtes_dach 3 blaue_box 1 keine gueterwagen 0
west 186 1 blau kurz voll keine 2 goldene_vase 1 keine gemischt 5 2 blau kurz voll festes_dach 2 keine 0 keine gemischt 3 3 weiss kurz voll dach_fundament 2 keine 0 halb personenwagen 2 4 rot lang gelaender keine 2 keine 0 halb personenwagen 4 5 blau lang voll keine 2 fass 1 halb gemischt 3 6 gruen kurz voll festes_dach 2 keine 0 voll personenwagen 2
west 211 1 weiss kurz gelaender verstrebtes_dach 2 keine 0 voll personenwagen 2 2 blau lang voll dach_fundament 2 blaue_box 2 halb gueterwagen 0 3 gruen lang gelaender dach_fundament 2 diamant 2 voll gueterwagen 0 4 gelb kurz voll spitzdach 2 fass 2 keine gemischt 2 5 gruen lang gelaender festes_dach 2 keine 0 halb gueterwagen 0 6 weiss kurz voll spitzdach 2 ovale_vase 1 voll gueterwagen 0
ost -41 1 blau kurz voll keine 2 keine 0 voll personenwagen 2 2 gruen lang gelaender spitzdach 3 keine 0 halb personenwagen 8 3 weiss lang voll keine 3 keine 0 keine personenwagen 6 4 gruen lang voll spitzdach 3 ovale_vase 3 halb gueterwagen 0 5 gelb lang gelaender keine 3 keine 0 halb personenwagen 5
ost -46 1 rot lang gelaender spitzdach 3 keine 0 halb gueterwagen 0 2 weiss lang voll spitzdach 3 keine 0 halb gemischt 6 3 gruen kurz gelaender keine 2 diamant 2 halb gueterwagen 0 4 gruen lang voll festes_dach 3 diamant 2 keine gemischt 1 5 blau kurz gelaender keine 2 diamant 2 voll gemischt 9
ost -15 1 gruen lang voll festes_dach 2 ovale_vase 3 halb gemischt 1 2 gelb kurz gelaender festes_dach 2 diamant 1 voll gemischt 10 3 rot kurz voll spitzdach 2 keine 0 keine personenwagen 6 4 gelb kurz gelaender spitzdach 2 goldene_vase 1 keine gueterwagen 0 5 blau lang gelaender spitzdach 2 keine 0 halb personenwagen 5
west 161 1 weiss lang voll verstrebtes_dach 3 ovale_vase 3 voll gemischt 3 2 gelb kurz gelaender festes_dach 2 keine 0 voll personenwagen 1 3 gelb kurz voll spitzdach 2 fass 1 voll gemischt 10 4 weiss lang voll keine 2 goldene_vase 1 keine gueterwagen 0 5 weiss kurz gelaender keine 2 keine 0 keine personenwagen 9 6 gruen lang voll dach_fundament 2 keine 0 halb personenwagen 2
west 7 1 blau lang voll dach_fundament 3 keine 0 halb gueterwagen 0 2 rot kurz gelaender spitzdach 2 fass 2 keine gemischt 8 3 gruen kurz voll verstrebtes_dach 2 goldene_vase 2 keine gemischt 7 4 weiss kurz gelaender verstrebtes_dach 2 goldene_vase 2 voll gemischt 4 5 rot kurz gelaender festes_dach 2 keine 0 keine gueterwagen 0 6 rot kurz gelaender spitzdach 2 diamant 2 voll gemischt 1
ost -21 1 rot lang gelaender keine 3 keine 0 voll gueterwagen 0 2 weiss lang gelaender festes_dach 2 keine 0 keine personenwagen 3 3 rot kurz gelaender keine 2 keine 0 voll personenwagen 1 4 gelb lang voll spitzdach 2 keine 0 halb personenwagen 4 5 gruen kurz voll keine 2 ovale_vase 2 keine gemischt 4
ost 199 1 rot kurz gelaender dach_fundament 2 metall_topf 1 keine gueterwagen 0 2 rot lang voll festes_dach 3 blaue_box 2 keine gemischt 0 3 gelb kurz gelaender verstrebtes_dach 2 metall_topf 1 voll gueterwagen 0 4 rot kurz voll keine 2 keine 0 keine gueterwagen 0 5 rot kurz gelaender dach_fundament 2 keine 0 voll personenwagen 4
ost 60 1 weiss kurz gelaender festes_dach 2 fass 1 halb gueterwagen 0 2 weiss kurz gelaender festes_dach 2 fass 2 voll gemischt 7 3 gruen lang gelaender spitzdach 2 ovale_vase 3 voll gemischt 0 4 weiss kurz gelaender keine 2 keine 0 keine gueterwagen 0 5 blau lang voll spitzdach 3 keine 0 halb personenwagen 0