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, rot).
wagen_laenge(wagen0_1, lang).
hat_wand(wagen0_1, voll).
hat_dach(wagen0_1, verstrebtes_dach).
hat_rad(wagen0_1, 3).
hat_ladung(wagen0_1, blaue_box).
ladungs_nummer(wagen0_1, 3).
hat_fenster(wagen0_1, voll).
wagen_typ(wagen0_1, gueterwagen).
passagier_nummer(wagen0_1, 0).
hat_wagen(zug0, wagen0_2).
wagen_nummer(wagen0_2, 2).
wagen_farbe(wagen0_2, blau).
wagen_laenge(wagen0_2, kurz).
hat_wand(wagen0_2, gelaender).
hat_dach(wagen0_2, dach_fundament).
hat_rad(wagen0_2, 2).
hat_ladung(wagen0_2, diamant).
ladungs_nummer(wagen0_2, 2).
hat_fenster(wagen0_2, halb).
wagen_typ(wagen0_2, gemischt).
passagier_nummer(wagen0_2, 10).
hat_wagen(zug0, wagen0_3).
wagen_nummer(wagen0_3, 3).
wagen_farbe(wagen0_3, gelb).
wagen_laenge(wagen0_3, lang).
hat_wand(wagen0_3, voll).
hat_dach(wagen0_3, keine).
hat_rad(wagen0_3, 2).
hat_ladung(wagen0_3, metall_topf).
ladungs_nummer(wagen0_3, 3).
hat_fenster(wagen0_3, keine).
wagen_typ(wagen0_3, gemischt).
passagier_nummer(wagen0_3, 8).
hat_wagen(zug0, wagen0_4).
wagen_nummer(wagen0_4, 4).
wagen_farbe(wagen0_4, gelb).
wagen_laenge(wagen0_4, lang).
hat_wand(wagen0_4, gelaender).
hat_dach(wagen0_4, festes_dach).
hat_rad(wagen0_4, 2).
hat_ladung(wagen0_4, keine).
ladungs_nummer(wagen0_4, 0).
hat_fenster(wagen0_4, halb).
wagen_typ(wagen0_4, personenwagen).
passagier_nummer(wagen0_4, 5).
hat_wagen(zug0, wagen0_5).
wagen_nummer(wagen0_5, 5).
wagen_farbe(wagen0_5, gelb).
wagen_laenge(wagen0_5, kurz).
hat_wand(wagen0_5, voll).
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, halb).
wagen_typ(wagen0_5, personenwagen).
passagier_nummer(wagen0_5, 5).

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

west(zug2).
hat_wagen(zug2, wagen2_1).
wagen_nummer(wagen2_1, 1).
wagen_farbe(wagen2_1, gelb).
wagen_laenge(wagen2_1, kurz).
hat_wand(wagen2_1, voll).
hat_dach(wagen2_1, festes_dach).
hat_rad(wagen2_1, 2).
hat_ladung(wagen2_1, fass).
ladungs_nummer(wagen2_1, 1).
hat_fenster(wagen2_1, voll).
wagen_typ(wagen2_1, gueterwagen).
passagier_nummer(wagen2_1, 0).
hat_wagen(zug2, wagen2_2).
wagen_nummer(wagen2_2, 2).
wagen_farbe(wagen2_2, rot).
wagen_laenge(wagen2_2, lang).
hat_wand(wagen2_2, voll).
hat_dach(wagen2_2, spitzdach).
hat_rad(wagen2_2, 3).
hat_ladung(wagen2_2, keine).
ladungs_nummer(wagen2_2, 0).
hat_fenster(wagen2_2, keine).
wagen_typ(wagen2_2, personenwagen).
passagier_nummer(wagen2_2, 10).
hat_wagen(zug2, wagen2_3).
wagen_nummer(wagen2_3, 3).
wagen_farbe(wagen2_3, rot).
wagen_laenge(wagen2_3, kurz).
hat_wand(wagen2_3, gelaender).
hat_dach(wagen2_3, festes_dach).
hat_rad(wagen2_3, 2).
hat_ladung(wagen2_3, fass).
ladungs_nummer(wagen2_3, 1).
hat_fenster(wagen2_3, voll).
wagen_typ(wagen2_3, gemischt).
passagier_nummer(wagen2_3, 7).
hat_wagen(zug2, wagen2_4).
wagen_nummer(wagen2_4, 4).
wagen_farbe(wagen2_4, rot).
wagen_laenge(wagen2_4, kurz).
hat_wand(wagen2_4, gelaender).
hat_dach(wagen2_4, keine).
hat_rad(wagen2_4, 2).
hat_ladung(wagen2_4, keine).
ladungs_nummer(wagen2_4, 0).
hat_fenster(wagen2_4, keine).
wagen_typ(wagen2_4, personenwagen).
passagier_nummer(wagen2_4, 0).
hat_wagen(zug2, wagen2_5).
wagen_nummer(wagen2_5, 5).
wagen_farbe(wagen2_5, blau).
wagen_laenge(wagen2_5, lang).
hat_wand(wagen2_5, voll).
hat_dach(wagen2_5, verstrebtes_dach).
hat_rad(wagen2_5, 3).
hat_ladung(wagen2_5, blaue_box).
ladungs_nummer(wagen2_5, 2).
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, rot).
wagen_laenge(wagen2_6, kurz).
hat_wand(wagen2_6, gelaender).
hat_dach(wagen2_6, verstrebtes_dach).
hat_rad(wagen2_6, 2).
hat_ladung(wagen2_6, keine).
ladungs_nummer(wagen2_6, 0).
hat_fenster(wagen2_6, keine).
wagen_typ(wagen2_6, gemischt).
passagier_nummer(wagen2_6, 0).

west(zug3).
hat_wagen(zug3, wagen3_1).
wagen_nummer(wagen3_1, 1).
wagen_farbe(wagen3_1, gruen).
wagen_laenge(wagen3_1, lang).
hat_wand(wagen3_1, gelaender).
hat_dach(wagen3_1, festes_dach).
hat_rad(wagen3_1, 2).
hat_ladung(wagen3_1, keine).
ladungs_nummer(wagen3_1, 0).
hat_fenster(wagen3_1, keine).
wagen_typ(wagen3_1, gemischt).
passagier_nummer(wagen3_1, 2).
hat_wagen(zug3, wagen3_2).
wagen_nummer(wagen3_2, 2).
wagen_farbe(wagen3_2, gelb).
wagen_laenge(wagen3_2, kurz).
hat_wand(wagen3_2, voll).
hat_dach(wagen3_2, festes_dach).
hat_rad(wagen3_2, 2).
hat_ladung(wagen3_2, diamant).
ladungs_nummer(wagen3_2, 2).
hat_fenster(wagen3_2, keine).
wagen_typ(wagen3_2, gemischt).
passagier_nummer(wagen3_2, 5).
hat_wagen(zug3, wagen3_3).
wagen_nummer(wagen3_3, 3).
wagen_farbe(wagen3_3, rot).
wagen_laenge(wagen3_3, kurz).
hat_wand(wagen3_3, gelaender).
hat_dach(wagen3_3, verstrebtes_dach).
hat_rad(wagen3_3, 2).
hat_ladung(wagen3_3, diamant).
ladungs_nummer(wagen3_3, 2).
hat_fenster(wagen3_3, keine).
wagen_typ(wagen3_3, gemischt).
passagier_nummer(wagen3_3, 1).
hat_wagen(zug3, wagen3_4).
wagen_nummer(wagen3_4, 4).
wagen_farbe(wagen3_4, rot).
wagen_laenge(wagen3_4, kurz).
hat_wand(wagen3_4, voll).
hat_dach(wagen3_4, verstrebtes_dach).
hat_rad(wagen3_4, 2).
hat_ladung(wagen3_4, keine).
ladungs_nummer(wagen3_4, 0).
hat_fenster(wagen3_4, voll).
wagen_typ(wagen3_4, personenwagen).
passagier_nummer(wagen3_4, 0).
hat_wagen(zug3, wagen3_5).
wagen_nummer(wagen3_5, 5).
wagen_farbe(wagen3_5, gelb).
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, goldene_vase).
ladungs_nummer(wagen3_5, 2).
hat_fenster(wagen3_5, voll).
wagen_typ(wagen3_5, gemischt).
passagier_nummer(wagen3_5, 8).
hat_wagen(zug3, wagen3_6).
wagen_nummer(wagen3_6, 6).
wagen_farbe(wagen3_6, gelb).
wagen_laenge(wagen3_6, kurz).
hat_wand(wagen3_6, voll).
hat_dach(wagen3_6, dach_fundament).
hat_rad(wagen3_6, 2).
hat_ladung(wagen3_6, keine).
ladungs_nummer(wagen3_6, 0).
hat_fenster(wagen3_6, halb).
wagen_typ(wagen3_6, personenwagen).
passagier_nummer(wagen3_6, 7).

ost(zug4).
hat_wagen(zug4, wagen4_1).
wagen_nummer(wagen4_1, 1).
wagen_farbe(wagen4_1, rot).
wagen_laenge(wagen4_1, lang).
hat_wand(wagen4_1, voll).
hat_dach(wagen4_1, festes_dach).
hat_rad(wagen4_1, 2).
hat_ladung(wagen4_1, keine).
ladungs_nummer(wagen4_1, 0).
hat_fenster(wagen4_1, halb).
wagen_typ(wagen4_1, personenwagen).
passagier_nummer(wagen4_1, 5).
hat_wagen(zug4, wagen4_2).
wagen_nummer(wagen4_2, 2).
wagen_farbe(wagen4_2, gelb).
wagen_laenge(wagen4_2, lang).
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, halb).
wagen_typ(wagen4_2, personenwagen).
passagier_nummer(wagen4_2, 10).
hat_wagen(zug4, wagen4_3).
wagen_nummer(wagen4_3, 3).
wagen_farbe(wagen4_3, gruen).
wagen_laenge(wagen4_3, lang).
hat_wand(wagen4_3, voll).
hat_dach(wagen4_3, spitzdach).
hat_rad(wagen4_3, 2).
hat_ladung(wagen4_3, fass).
ladungs_nummer(wagen4_3, 1).
hat_fenster(wagen4_3, voll).
wagen_typ(wagen4_3, gueterwagen).
passagier_nummer(wagen4_3, 0).
hat_wagen(zug4, wagen4_4).
wagen_nummer(wagen4_4, 4).
wagen_farbe(wagen4_4, weiss).
wagen_laenge(wagen4_4, lang).
hat_wand(wagen4_4, gelaender).
hat_dach(wagen4_4, festes_dach).
hat_rad(wagen4_4, 3).
hat_ladung(wagen4_4, fass).
ladungs_nummer(wagen4_4, 1).
hat_fenster(wagen4_4, voll).
wagen_typ(wagen4_4, gemischt).
passagier_nummer(wagen4_4, 5).
hat_wagen(zug4, wagen4_5).
wagen_nummer(wagen4_5, 5).
wagen_farbe(wagen4_5, rot).
wagen_laenge(wagen4_5, kurz).
hat_wand(wagen4_5, gelaender).
hat_dach(wagen4_5, dach_fundament).
hat_rad(wagen4_5, 2).
hat_ladung(wagen4_5, goldene_vase).
ladungs_nummer(wagen4_5, 1).
hat_fenster(wagen4_5, halb).
wagen_typ(wagen4_5, gemischt).
passagier_nummer(wagen4_5, 4).

west(zug5).
hat_wagen(zug5, wagen5_1).
wagen_nummer(wagen5_1, 1).
wagen_farbe(wagen5_1, blau).
wagen_laenge(wagen5_1, lang).
hat_wand(wagen5_1, gelaender).
hat_dach(wagen5_1, dach_fundament).
hat_rad(wagen5_1, 2).
hat_ladung(wagen5_1, keine).
ladungs_nummer(wagen5_1, 0).
hat_fenster(wagen5_1, voll).
wagen_typ(wagen5_1, personenwagen).
passagier_nummer(wagen5_1, 9).
hat_wagen(zug5, wagen5_2).
wagen_nummer(wagen5_2, 2).
wagen_farbe(wagen5_2, rot).
wagen_laenge(wagen5_2, lang).
hat_wand(wagen5_2, voll).
hat_dach(wagen5_2, festes_dach).
hat_rad(wagen5_2, 3).
hat_ladung(wagen5_2, keine).
ladungs_nummer(wagen5_2, 0).
hat_fenster(wagen5_2, halb).
wagen_typ(wagen5_2, gueterwagen).
passagier_nummer(wagen5_2, 0).
hat_wagen(zug5, wagen5_3).
wagen_nummer(wagen5_3, 3).
wagen_farbe(wagen5_3, rot).
wagen_laenge(wagen5_3, kurz).
hat_wand(wagen5_3, voll).
hat_dach(wagen5_3, spitzdach).
hat_rad(wagen5_3, 2).
hat_ladung(wagen5_3, ovale_vase).
ladungs_nummer(wagen5_3, 1).
hat_fenster(wagen5_3, halb).
wagen_typ(wagen5_3, gueterwagen).
passagier_nummer(wagen5_3, 0).
hat_wagen(zug5, wagen5_4).
wagen_nummer(wagen5_4, 4).
wagen_farbe(wagen5_4, blau).
wagen_laenge(wagen5_4, kurz).
hat_wand(wagen5_4, voll).
hat_dach(wagen5_4, dach_fundament).
hat_rad(wagen5_4, 2).
hat_ladung(wagen5_4, fass).
ladungs_nummer(wagen5_4, 1).
hat_fenster(wagen5_4, keine).
wagen_typ(wagen5_4, gemischt).
passagier_nummer(wagen5_4, 6).
hat_wagen(zug5, wagen5_5).
wagen_nummer(wagen5_5, 5).
wagen_farbe(wagen5_5, gruen).
wagen_laenge(wagen5_5, kurz).
hat_wand(wagen5_5, voll).
hat_dach(wagen5_5, keine).
hat_rad(wagen5_5, 2).
hat_ladung(wagen5_5, blaue_box).
ladungs_nummer(wagen5_5, 2).
hat_fenster(wagen5_5, voll).
wagen_typ(wagen5_5, gemischt).
passagier_nummer(wagen5_5, 4).

west(zug6).
hat_wagen(zug6, wagen6_1).
wagen_nummer(wagen6_1, 1).
wagen_farbe(wagen6_1, gruen).
wagen_laenge(wagen6_1, kurz).
hat_wand(wagen6_1, gelaender).
hat_dach(wagen6_1, spitzdach).
hat_rad(wagen6_1, 2).
hat_ladung(wagen6_1, keine).
ladungs_nummer(wagen6_1, 0).
hat_fenster(wagen6_1, keine).
wagen_typ(wagen6_1, gueterwagen).
passagier_nummer(wagen6_1, 0).
hat_wagen(zug6, wagen6_2).
wagen_nummer(wagen6_2, 2).
wagen_farbe(wagen6_2, gelb).
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, halb).
wagen_typ(wagen6_2, personenwagen).
passagier_nummer(wagen6_2, 5).
hat_wagen(zug6, wagen6_3).
wagen_nummer(wagen6_3, 3).
wagen_farbe(wagen6_3, gruen).
wagen_laenge(wagen6_3, kurz).
hat_wand(wagen6_3, gelaender).
hat_dach(wagen6_3, keine).
hat_rad(wagen6_3, 2).
hat_ladung(wagen6_3, keine).
ladungs_nummer(wagen6_3, 0).
hat_fenster(wagen6_3, keine).
wagen_typ(wagen6_3, personenwagen).
passagier_nummer(wagen6_3, 10).
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, verstrebtes_dach).
hat_rad(wagen6_4, 2).
hat_ladung(wagen6_4, fass).
ladungs_nummer(wagen6_4, 2).
hat_fenster(wagen6_4, halb).
wagen_typ(wagen6_4, gemischt).
passagier_nummer(wagen6_4, 9).
hat_wagen(zug6, wagen6_5).
wagen_nummer(wagen6_5, 5).
wagen_farbe(wagen6_5, rot).
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, personenwagen).
passagier_nummer(wagen6_5, 1).
hat_wagen(zug6, wagen6_6).
wagen_nummer(wagen6_6, 6).
wagen_farbe(wagen6_6, gruen).
wagen_laenge(wagen6_6, kurz).
hat_wand(wagen6_6, gelaender).
hat_dach(wagen6_6, verstrebtes_dach).
hat_rad(wagen6_6, 2).
hat_ladung(wagen6_6, goldene_vase).
ladungs_nummer(wagen6_6, 2).
hat_fenster(wagen6_6, keine).
wagen_typ(wagen6_6, gueterwagen).
passagier_nummer(wagen6_6, 0).

ost(zug7).
hat_wagen(zug7, wagen7_1).
wagen_nummer(wagen7_1, 1).
wagen_farbe(wagen7_1, gelb).
wagen_laenge(wagen7_1, lang).
hat_wand(wagen7_1, voll).
hat_dach(wagen7_1, spitzdach).
hat_rad(wagen7_1, 2).
hat_ladung(wagen7_1, keine).
ladungs_nummer(wagen7_1, 0).
hat_fenster(wagen7_1, keine).
wagen_typ(wagen7_1, gemischt).
passagier_nummer(wagen7_1, 8).
hat_wagen(zug7, wagen7_2).
wagen_nummer(wagen7_2, 2).
wagen_farbe(wagen7_2, weiss).
wagen_laenge(wagen7_2, lang).
hat_wand(wagen7_2, gelaender).
hat_dach(wagen7_2, festes_dach).
hat_rad(wagen7_2, 3).
hat_ladung(wagen7_2, keine).
ladungs_nummer(wagen7_2, 0).
hat_fenster(wagen7_2, halb).
wagen_typ(wagen7_2, gueterwagen).
passagier_nummer(wagen7_2, 0).
hat_wagen(zug7, wagen7_3).
wagen_nummer(wagen7_3, 3).
wagen_farbe(wagen7_3, weiss).
wagen_laenge(wagen7_3, kurz).
hat_wand(wagen7_3, gelaender).
hat_dach(wagen7_3, festes_dach).
hat_rad(wagen7_3, 2).
hat_ladung(wagen7_3, goldene_vase).
ladungs_nummer(wagen7_3, 2).
hat_fenster(wagen7_3, halb).
wagen_typ(wagen7_3, gemischt).
passagier_nummer(wagen7_3, 4).
hat_wagen(zug7, wagen7_4).
wagen_nummer(wagen7_4, 4).
wagen_farbe(wagen7_4, blau).
wagen_laenge(wagen7_4, kurz).
hat_wand(wagen7_4, gelaender).
hat_dach(wagen7_4, verstrebtes_dach).
hat_rad(wagen7_4, 2).
hat_ladung(wagen7_4, keine).
ladungs_nummer(wagen7_4, 0).
hat_fenster(wagen7_4, voll).
wagen_typ(wagen7_4, gueterwagen).
passagier_nummer(wagen7_4, 0).
hat_wagen(zug7, wagen7_5).
wagen_nummer(wagen7_5, 5).
wagen_farbe(wagen7_5, blau).
wagen_laenge(wagen7_5, lang).
hat_wand(wagen7_5, voll).
hat_dach(wagen7_5, dach_fundament).
hat_rad(wagen7_5, 2).
hat_ladung(wagen7_5, keine).
ladungs_nummer(wagen7_5, 0).
hat_fenster(wagen7_5, voll).
wagen_typ(wagen7_5, personenwagen).
passagier_nummer(wagen7_5, 6).
hat_wagen(zug7, wagen7_6).
wagen_nummer(wagen7_6, 6).
wagen_farbe(wagen7_6, gruen).
wagen_laenge(wagen7_6, lang).
hat_wand(wagen7_6, gelaender).
hat_dach(wagen7_6, keine).
hat_rad(wagen7_6, 2).
hat_ladung(wagen7_6, diamant).
ladungs_nummer(wagen7_6, 3).
hat_fenster(wagen7_6, voll).
wagen_typ(wagen7_6, gueterwagen).
passagier_nummer(wagen7_6, 0).

west(zug8).
hat_wagen(zug8, wagen8_1).
wagen_nummer(wagen8_1, 1).
wagen_farbe(wagen8_1, blau).
wagen_laenge(wagen8_1, kurz).
hat_wand(wagen8_1, gelaender).
hat_dach(wagen8_1, festes_dach).
hat_rad(wagen8_1, 2).
hat_ladung(wagen8_1, keine).
ladungs_nummer(wagen8_1, 0).
hat_fenster(wagen8_1, voll).
wagen_typ(wagen8_1, personenwagen).
passagier_nummer(wagen8_1, 5).
hat_wagen(zug8, wagen8_2).
wagen_nummer(wagen8_2, 2).
wagen_farbe(wagen8_2, weiss).
wagen_laenge(wagen8_2, kurz).
hat_wand(wagen8_2, gelaender).
hat_dach(wagen8_2, keine).
hat_rad(wagen8_2, 2).
hat_ladung(wagen8_2, blaue_box).
ladungs_nummer(wagen8_2, 1).
hat_fenster(wagen8_2, keine).
wagen_typ(wagen8_2, gemischt).
passagier_nummer(wagen8_2, 7).
hat_wagen(zug8, wagen8_3).
wagen_nummer(wagen8_3, 3).
wagen_farbe(wagen8_3, gruen).
wagen_laenge(wagen8_3, kurz).
hat_wand(wagen8_3, voll).
hat_dach(wagen8_3, festes_dach).
hat_rad(wagen8_3, 2).
hat_ladung(wagen8_3, keine).
ladungs_nummer(wagen8_3, 0).
hat_fenster(wagen8_3, halb).
wagen_typ(wagen8_3, personenwagen).
passagier_nummer(wagen8_3, 6).
hat_wagen(zug8, wagen8_4).
wagen_nummer(wagen8_4, 4).
wagen_farbe(wagen8_4, gelb).
wagen_laenge(wagen8_4, kurz).
hat_wand(wagen8_4, voll).
hat_dach(wagen8_4, keine).
hat_rad(wagen8_4, 2).
hat_ladung(wagen8_4, ovale_vase).
ladungs_nummer(wagen8_4, 1).
hat_fenster(wagen8_4, keine).
wagen_typ(wagen8_4, gemischt).
passagier_nummer(wagen8_4, 7).
hat_wagen(zug8, wagen8_5).
wagen_nummer(wagen8_5, 5).
wagen_farbe(wagen8_5, blau).
wagen_laenge(wagen8_5, lang).
hat_wand(wagen8_5, voll).
hat_dach(wagen8_5, dach_fundament).
hat_rad(wagen8_5, 2).
hat_ladung(wagen8_5, blaue_box).
ladungs_nummer(wagen8_5, 3).
hat_fenster(wagen8_5, halb).
wagen_typ(wagen8_5, gueterwagen).
passagier_nummer(wagen8_5, 0).
hat_wagen(zug8, wagen8_6).
wagen_nummer(wagen8_6, 6).
wagen_farbe(wagen8_6, blau).
wagen_laenge(wagen8_6, lang).
hat_wand(wagen8_6, voll).
hat_dach(wagen8_6, keine).
hat_rad(wagen8_6, 3).
hat_ladung(wagen8_6, keine).
ladungs_nummer(wagen8_6, 0).
hat_fenster(wagen8_6, keine).
wagen_typ(wagen8_6, personenwagen).
passagier_nummer(wagen8_6, 8).

ost(zug9).
hat_wagen(zug9, wagen9_1).
wagen_nummer(wagen9_1, 1).
wagen_farbe(wagen9_1, weiss).
wagen_laenge(wagen9_1, lang).
hat_wand(wagen9_1, gelaender).
hat_dach(wagen9_1, keine).
hat_rad(wagen9_1, 2).
hat_ladung(wagen9_1, keine).
ladungs_nummer(wagen9_1, 0).
hat_fenster(wagen9_1, keine).
wagen_typ(wagen9_1, personenwagen).
passagier_nummer(wagen9_1, 6).
hat_wagen(zug9, wagen9_2).
wagen_nummer(wagen9_2, 2).
wagen_farbe(wagen9_2, gruen).
wagen_laenge(wagen9_2, kurz).
hat_wand(wagen9_2, voll).
hat_dach(wagen9_2, spitzdach).
hat_rad(wagen9_2, 2).
hat_ladung(wagen9_2, ovale_vase).
ladungs_nummer(wagen9_2, 1).
hat_fenster(wagen9_2, keine).
wagen_typ(wagen9_2, gueterwagen).
passagier_nummer(wagen9_2, 0).
hat_wagen(zug9, wagen9_3).
wagen_nummer(wagen9_3, 3).
wagen_farbe(wagen9_3, weiss).
wagen_laenge(wagen9_3, lang).
hat_wand(wagen9_3, gelaender).
hat_dach(wagen9_3, verstrebtes_dach).
hat_rad(wagen9_3, 2).
hat_ladung(wagen9_3, ovale_vase).
ladungs_nummer(wagen9_3, 2).
hat_fenster(wagen9_3, voll).
wagen_typ(wagen9_3, gueterwagen).
passagier_nummer(wagen9_3, 0).
hat_wagen(zug9, wagen9_4).
wagen_nummer(wagen9_4, 4).
wagen_farbe(wagen9_4, rot).
wagen_laenge(wagen9_4, kurz).
hat_wand(wagen9_4, voll).
hat_dach(wagen9_4, spitzdach).
hat_rad(wagen9_4, 2).
hat_ladung(wagen9_4, metall_topf).
ladungs_nummer(wagen9_4, 2).
hat_fenster(wagen9_4, keine).
wagen_typ(wagen9_4, gemischt).
passagier_nummer(wagen9_4, 6).
hat_wagen(zug9, wagen9_5).
wagen_nummer(wagen9_5, 5).
wagen_farbe(wagen9_5, blau).
wagen_laenge(wagen9_5, lang).
hat_wand(wagen9_5, voll).
hat_dach(wagen9_5, dach_fundament).
hat_rad(wagen9_5, 3).
hat_ladung(wagen9_5, blaue_box).
ladungs_nummer(wagen9_5, 3).
hat_fenster(wagen9_5, keine).
wagen_typ(wagen9_5, gueterwagen).
passagier_nummer(wagen9_5, 0).
hat_wagen(zug9, wagen9_6).
wagen_nummer(wagen9_6, 6).
wagen_farbe(wagen9_6, gelb).
wagen_laenge(wagen9_6, kurz).
hat_wand(wagen9_6, gelaender).
hat_dach(wagen9_6, spitzdach).
hat_rad(wagen9_6, 2).
hat_ladung(wagen9_6, keine).
ladungs_nummer(wagen9_6, 0).
hat_fenster(wagen9_6, voll).
wagen_typ(wagen9_6, gemischt).
passagier_nummer(wagen9_6, 0).

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

west(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, dach_fundament).
hat_rad(wagen11_1, 2).
hat_ladung(wagen11_1, keine).
ladungs_nummer(wagen11_1, 0).
hat_fenster(wagen11_1, keine).
wagen_typ(wagen11_1, gemischt).
passagier_nummer(wagen11_1, 2).
hat_wagen(zug11, wagen11_2).
wagen_nummer(wagen11_2, 2).
wagen_farbe(wagen11_2, rot).
wagen_laenge(wagen11_2, lang).
hat_wand(wagen11_2, voll).
hat_dach(wagen11_2, spitzdach).
hat_rad(wagen11_2, 3).
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, rot).
wagen_laenge(wagen11_3, lang).
hat_wand(wagen11_3, gelaender).
hat_dach(wagen11_3, dach_fundament).
hat_rad(wagen11_3, 3).
hat_ladung(wagen11_3, metall_topf).
ladungs_nummer(wagen11_3, 1).
hat_fenster(wagen11_3, halb).
wagen_typ(wagen11_3, gemischt).
passagier_nummer(wagen11_3, 5).
hat_wagen(zug11, wagen11_4).
wagen_nummer(wagen11_4, 4).
wagen_farbe(wagen11_4, gruen).
wagen_laenge(wagen11_4, kurz).
hat_wand(wagen11_4, voll).
hat_dach(wagen11_4, keine).
hat_rad(wagen11_4, 2).
hat_ladung(wagen11_4, fass).
ladungs_nummer(wagen11_4, 2).
hat_fenster(wagen11_4, voll).
wagen_typ(wagen11_4, gueterwagen).
passagier_nummer(wagen11_4, 0).
hat_wagen(zug11, wagen11_5).
wagen_nummer(wagen11_5, 5).
wagen_farbe(wagen11_5, weiss).
wagen_laenge(wagen11_5, kurz).
hat_wand(wagen11_5, gelaender).
hat_dach(wagen11_5, dach_fundament).
hat_rad(wagen11_5, 2).
hat_ladung(wagen11_5, diamant).
ladungs_nummer(wagen11_5, 2).
hat_fenster(wagen11_5, halb).
wagen_typ(wagen11_5, gemischt).
passagier_nummer(wagen11_5, 10).
hat_wagen(zug11, wagen11_6).
wagen_nummer(wagen11_6, 6).
wagen_farbe(wagen11_6, weiss).
wagen_laenge(wagen11_6, lang).
hat_wand(wagen11_6, gelaender).
hat_dach(wagen11_6, keine).
hat_rad(wagen11_6, 2).
hat_ladung(wagen11_6, blaue_box).
ladungs_nummer(wagen11_6, 1).
hat_fenster(wagen11_6, halb).
wagen_typ(wagen11_6, gemischt).
passagier_nummer(wagen11_6, 7).

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

west(zug13).
hat_wagen(zug13, wagen13_1).
wagen_nummer(wagen13_1, 1).
wagen_farbe(wagen13_1, blau).
wagen_laenge(wagen13_1, kurz).
hat_wand(wagen13_1, gelaender).
hat_dach(wagen13_1, festes_dach).
hat_rad(wagen13_1, 2).
hat_ladung(wagen13_1, keine).
ladungs_nummer(wagen13_1, 0).
hat_fenster(wagen13_1, voll).
wagen_typ(wagen13_1, personenwagen).
passagier_nummer(wagen13_1, 2).
hat_wagen(zug13, wagen13_2).
wagen_nummer(wagen13_2, 2).
wagen_farbe(wagen13_2, blau).
wagen_laenge(wagen13_2, kurz).
hat_wand(wagen13_2, voll).
hat_dach(wagen13_2, keine).
hat_rad(wagen13_2, 2).
hat_ladung(wagen13_2, keine).
ladungs_nummer(wagen13_2, 0).
hat_fenster(wagen13_2, keine).
wagen_typ(wagen13_2, personenwagen).
passagier_nummer(wagen13_2, 5).
hat_wagen(zug13, wagen13_3).
wagen_nummer(wagen13_3, 3).
wagen_farbe(wagen13_3, gelb).
wagen_laenge(wagen13_3, kurz).
hat_wand(wagen13_3, gelaender).
hat_dach(wagen13_3, verstrebtes_dach).
hat_rad(wagen13_3, 2).
hat_ladung(wagen13_3, keine).
ladungs_nummer(wagen13_3, 0).
hat_fenster(wagen13_3, voll).
wagen_typ(wagen13_3, gemischt).
passagier_nummer(wagen13_3, 0).
hat_wagen(zug13, wagen13_4).
wagen_nummer(wagen13_4, 4).
wagen_farbe(wagen13_4, rot).
wagen_laenge(wagen13_4, lang).
hat_wand(wagen13_4, voll).
hat_dach(wagen13_4, verstrebtes_dach).
hat_rad(wagen13_4, 2).
hat_ladung(wagen13_4, ovale_vase).
ladungs_nummer(wagen13_4, 1).
hat_fenster(wagen13_4, voll).
wagen_typ(wagen13_4, gueterwagen).
passagier_nummer(wagen13_4, 0).
hat_wagen(zug13, wagen13_5).
wagen_nummer(wagen13_5, 5).
wagen_farbe(wagen13_5, blau).
wagen_laenge(wagen13_5, lang).
hat_wand(wagen13_5, voll).
hat_dach(wagen13_5, spitzdach).
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, 5).

ost(zug14).
hat_wagen(zug14, wagen14_1).
wagen_nummer(wagen14_1, 1).
wagen_farbe(wagen14_1, weiss).
wagen_laenge(wagen14_1, kurz).
hat_wand(wagen14_1, voll).
hat_dach(wagen14_1, festes_dach).
hat_rad(wagen14_1, 2).
hat_ladung(wagen14_1, keine).
ladungs_nummer(wagen14_1, 0).
hat_fenster(wagen14_1, keine).
wagen_typ(wagen14_1, personenwagen).
passagier_nummer(wagen14_1, 8).
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, festes_dach).
hat_rad(wagen14_2, 2).
hat_ladung(wagen14_2, ovale_vase).
ladungs_nummer(wagen14_2, 1).
hat_fenster(wagen14_2, keine).
wagen_typ(wagen14_2, gueterwagen).
passagier_nummer(wagen14_2, 0).
hat_wagen(zug14, wagen14_3).
wagen_nummer(wagen14_3, 3).
wagen_farbe(wagen14_3, rot).
wagen_laenge(wagen14_3, kurz).
hat_wand(wagen14_3, voll).
hat_dach(wagen14_3, festes_dach).
hat_rad(wagen14_3, 2).
hat_ladung(wagen14_3, fass).
ladungs_nummer(wagen14_3, 2).
hat_fenster(wagen14_3, halb).
wagen_typ(wagen14_3, gemischt).
passagier_nummer(wagen14_3, 3).
hat_wagen(zug14, wagen14_4).
wagen_nummer(wagen14_4, 4).
wagen_farbe(wagen14_4, blau).
wagen_laenge(wagen14_4, lang).
hat_wand(wagen14_4, gelaender).
hat_dach(wagen14_4, keine).
hat_rad(wagen14_4, 3).
hat_ladung(wagen14_4, fass).
ladungs_nummer(wagen14_4, 3).
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, weiss).
wagen_laenge(wagen14_5, kurz).
hat_wand(wagen14_5, gelaender).
hat_dach(wagen14_5, festes_dach).
hat_rad(wagen14_5, 2).
hat_ladung(wagen14_5, goldene_vase).
ladungs_nummer(wagen14_5, 2).
hat_fenster(wagen14_5, voll).
wagen_typ(wagen14_5, gemischt).
passagier_nummer(wagen14_5, 9).
hat_wagen(zug14, wagen14_6).
wagen_nummer(wagen14_6, 6).
wagen_farbe(wagen14_6, rot).
wagen_laenge(wagen14_6, kurz).
hat_wand(wagen14_6, voll).
hat_dach(wagen14_6, verstrebtes_dach).
hat_rad(wagen14_6, 2).
hat_ladung(wagen14_6, goldene_vase).
ladungs_nummer(wagen14_6, 2).
hat_fenster(wagen14_6, halb).
wagen_typ(wagen14_6, gemischt).
passagier_nummer(wagen14_6, 0).

west(zug15).
hat_wagen(zug15, wagen15_1).
wagen_nummer(wagen15_1, 1).
wagen_farbe(wagen15_1, gelb).
wagen_laenge(wagen15_1, lang).
hat_wand(wagen15_1, voll).
hat_dach(wagen15_1, festes_dach).
hat_rad(wagen15_1, 3).
hat_ladung(wagen15_1, keine).
ladungs_nummer(wagen15_1, 0).
hat_fenster(wagen15_1, halb).
wagen_typ(wagen15_1, personenwagen).
passagier_nummer(wagen15_1, 9).
hat_wagen(zug15, wagen15_2).
wagen_nummer(wagen15_2, 2).
wagen_farbe(wagen15_2, gruen).
wagen_laenge(wagen15_2, kurz).
hat_wand(wagen15_2, gelaender).
hat_dach(wagen15_2, keine).
hat_rad(wagen15_2, 2).
hat_ladung(wagen15_2, blaue_box).
ladungs_nummer(wagen15_2, 2).
hat_fenster(wagen15_2, voll).
wagen_typ(wagen15_2, gemischt).
passagier_nummer(wagen15_2, 9).
hat_wagen(zug15, wagen15_3).
wagen_nummer(wagen15_3, 3).
wagen_farbe(wagen15_3, gelb).
wagen_laenge(wagen15_3, lang).
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, personenwagen).
passagier_nummer(wagen15_3, 7).
hat_wagen(zug15, wagen15_4).
wagen_nummer(wagen15_4, 4).
wagen_farbe(wagen15_4, blau).
wagen_laenge(wagen15_4, kurz).
hat_wand(wagen15_4, voll).
hat_dach(wagen15_4, verstrebtes_dach).
hat_rad(wagen15_4, 2).
hat_ladung(wagen15_4, keine).
ladungs_nummer(wagen15_4, 0).
hat_fenster(wagen15_4, voll).
wagen_typ(wagen15_4, personenwagen).
passagier_nummer(wagen15_4, 8).
hat_wagen(zug15, wagen15_5).
wagen_nummer(wagen15_5, 5).
wagen_farbe(wagen15_5, blau).
wagen_laenge(wagen15_5, lang).
hat_wand(wagen15_5, voll).
hat_dach(wagen15_5, festes_dach).
hat_rad(wagen15_5, 2).
hat_ladung(wagen15_5, keine).
ladungs_nummer(wagen15_5, 0).
hat_fenster(wagen15_5, voll).
wagen_typ(wagen15_5, personenwagen).
passagier_nummer(wagen15_5, 4).
hat_wagen(zug15, wagen15_6).
wagen_nummer(wagen15_6, 6).
wagen_farbe(wagen15_6, rot).
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, fass).
ladungs_nummer(wagen15_6, 1).
hat_fenster(wagen15_6, halb).
wagen_typ(wagen15_6, gueterwagen).
passagier_nummer(wagen15_6, 0).

west(zug16).
hat_wagen(zug16, wagen16_1).
wagen_nummer(wagen16_1, 1).
wagen_farbe(wagen16_1, gelb).
wagen_laenge(wagen16_1, kurz).
hat_wand(wagen16_1, voll).
hat_dach(wagen16_1, verstrebtes_dach).
hat_rad(wagen16_1, 2).
hat_ladung(wagen16_1, ovale_vase).
ladungs_nummer(wagen16_1, 2).
hat_fenster(wagen16_1, halb).
wagen_typ(wagen16_1, gemischt).
passagier_nummer(wagen16_1, 10).
hat_wagen(zug16, wagen16_2).
wagen_nummer(wagen16_2, 2).
wagen_farbe(wagen16_2, gelb).
wagen_laenge(wagen16_2, lang).
hat_wand(wagen16_2, voll).
hat_dach(wagen16_2, keine).
hat_rad(wagen16_2, 3).
hat_ladung(wagen16_2, keine).
ladungs_nummer(wagen16_2, 0).
hat_fenster(wagen16_2, halb).
wagen_typ(wagen16_2, personenwagen).
passagier_nummer(wagen16_2, 9).
hat_wagen(zug16, wagen16_3).
wagen_nummer(wagen16_3, 3).
wagen_farbe(wagen16_3, gruen).
wagen_laenge(wagen16_3, lang).
hat_wand(wagen16_3, voll).
hat_dach(wagen16_3, festes_dach).
hat_rad(wagen16_3, 2).
hat_ladung(wagen16_3, ovale_vase).
ladungs_nummer(wagen16_3, 1).
hat_fenster(wagen16_3, halb).
wagen_typ(wagen16_3, gemischt).
passagier_nummer(wagen16_3, 1).
hat_wagen(zug16, wagen16_4).
wagen_nummer(wagen16_4, 4).
wagen_farbe(wagen16_4, gruen).
wagen_laenge(wagen16_4, lang).
hat_wand(wagen16_4, voll).
hat_dach(wagen16_4, keine).
hat_rad(wagen16_4, 2).
hat_ladung(wagen16_4, goldene_vase).
ladungs_nummer(wagen16_4, 2).
hat_fenster(wagen16_4, keine).
wagen_typ(wagen16_4, gueterwagen).
passagier_nummer(wagen16_4, 0).
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, dach_fundament).
hat_rad(wagen16_5, 2).
hat_ladung(wagen16_5, blaue_box).
ladungs_nummer(wagen16_5, 2).
hat_fenster(wagen16_5, keine).
wagen_typ(wagen16_5, gemischt).
passagier_nummer(wagen16_5, 3).

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

west(zug18).
hat_wagen(zug18, wagen18_1).
wagen_nummer(wagen18_1, 1).
wagen_farbe(wagen18_1, rot).
wagen_laenge(wagen18_1, kurz).
hat_wand(wagen18_1, voll).
hat_dach(wagen18_1, festes_dach).
hat_rad(wagen18_1, 2).
hat_ladung(wagen18_1, keine).
ladungs_nummer(wagen18_1, 0).
hat_fenster(wagen18_1, voll).
wagen_typ(wagen18_1, personenwagen).
passagier_nummer(wagen18_1, 3).
hat_wagen(zug18, wagen18_2).
wagen_nummer(wagen18_2, 2).
wagen_farbe(wagen18_2, weiss).
wagen_laenge(wagen18_2, lang).
hat_wand(wagen18_2, voll).
hat_dach(wagen18_2, spitzdach).
hat_rad(wagen18_2, 3).
hat_ladung(wagen18_2, fass).
ladungs_nummer(wagen18_2, 2).
hat_fenster(wagen18_2, halb).
wagen_typ(wagen18_2, gueterwagen).
passagier_nummer(wagen18_2, 0).
hat_wagen(zug18, wagen18_3).
wagen_nummer(wagen18_3, 3).
wagen_farbe(wagen18_3, weiss).
wagen_laenge(wagen18_3, lang).
hat_wand(wagen18_3, voll).
hat_dach(wagen18_3, spitzdach).
hat_rad(wagen18_3, 2).
hat_ladung(wagen18_3, blaue_box).
ladungs_nummer(wagen18_3, 2).
hat_fenster(wagen18_3, voll).
wagen_typ(wagen18_3, gueterwagen).
passagier_nummer(wagen18_3, 0).
hat_wagen(zug18, wagen18_4).
wagen_nummer(wagen18_4, 4).
wagen_farbe(wagen18_4, blau).
wagen_laenge(wagen18_4, kurz).
hat_wand(wagen18_4, gelaender).
hat_dach(wagen18_4, dach_fundament).
hat_rad(wagen18_4, 2).
hat_ladung(wagen18_4, keine).
ladungs_nummer(wagen18_4, 0).
hat_fenster(wagen18_4, keine).
wagen_typ(wagen18_4, personenwagen).
passagier_nummer(wagen18_4, 1).
hat_wagen(zug18, wagen18_5).
wagen_nummer(wagen18_5, 5).
wagen_farbe(wagen18_5, gruen).
wagen_laenge(wagen18_5, lang).
hat_wand(wagen18_5, voll).
hat_dach(wagen18_5, dach_fundament).
hat_rad(wagen18_5, 3).
hat_ladung(wagen18_5, diamant).
ladungs_nummer(wagen18_5, 3).
hat_fenster(wagen18_5, keine).
wagen_typ(wagen18_5, gemischt).
passagier_nummer(wagen18_5, 2).
hat_wagen(zug18, wagen18_6).
wagen_nummer(wagen18_6, 6).
wagen_farbe(wagen18_6, gelb).
wagen_laenge(wagen18_6, kurz).
hat_wand(wagen18_6, gelaender).
hat_dach(wagen18_6, spitzdach).
hat_rad(wagen18_6, 2).
hat_ladung(wagen18_6, keine).
ladungs_nummer(wagen18_6, 0).
hat_fenster(wagen18_6, halb).
wagen_typ(wagen18_6, gemischt).
passagier_nummer(wagen18_6, 3).

ost(zug19).
hat_wagen(zug19, wagen19_1).
wagen_nummer(wagen19_1, 1).
wagen_farbe(wagen19_1, weiss).
wagen_laenge(wagen19_1, kurz).
hat_wand(wagen19_1, voll).
hat_dach(wagen19_1, festes_dach).
hat_rad(wagen19_1, 2).
hat_ladung(wagen19_1, ovale_vase).
ladungs_nummer(wagen19_1, 1).
hat_fenster(wagen19_1, halb).
wagen_typ(wagen19_1, gueterwagen).
passagier_nummer(wagen19_1, 0).
hat_wagen(zug19, wagen19_2).
wagen_nummer(wagen19_2, 2).
wagen_farbe(wagen19_2, blau).
wagen_laenge(wagen19_2, kurz).
hat_wand(wagen19_2, voll).
hat_dach(wagen19_2, keine).
hat_rad(wagen19_2, 2).
hat_ladung(wagen19_2, ovale_vase).
ladungs_nummer(wagen19_2, 2).
hat_fenster(wagen19_2, halb).
wagen_typ(wagen19_2, gemischt).
passagier_nummer(wagen19_2, 8).
hat_wagen(zug19, wagen19_3).
wagen_nummer(wagen19_3, 3).
wagen_farbe(wagen19_3, gelb).
wagen_laenge(wagen19_3, kurz).
hat_wand(wagen19_3, gelaender).
hat_dach(wagen19_3, verstrebtes_dach).
hat_rad(wagen19_3, 2).
hat_ladung(wagen19_3, keine).
ladungs_nummer(wagen19_3, 0).
hat_fenster(wagen19_3, keine).
wagen_typ(wagen19_3, personenwagen).
passagier_nummer(wagen19_3, 6).
hat_wagen(zug19, wagen19_4).
wagen_nummer(wagen19_4, 4).
wagen_farbe(wagen19_4, gelb).
wagen_laenge(wagen19_4, kurz).
hat_wand(wagen19_4, gelaender).
hat_dach(wagen19_4, dach_fundament).
hat_rad(wagen19_4, 2).
hat_ladung(wagen19_4, blaue_box).
ladungs_nummer(wagen19_4, 2).
hat_fenster(wagen19_4, halb).
wagen_typ(wagen19_4, gueterwagen).
passagier_nummer(wagen19_4, 0).
hat_wagen(zug19, wagen19_5).
wagen_nummer(wagen19_5, 5).
wagen_farbe(wagen19_5, weiss).
wagen_laenge(wagen19_5, lang).
hat_wand(wagen19_5, gelaender).
hat_dach(wagen19_5, festes_dach).
hat_rad(wagen19_5, 2).
hat_ladung(wagen19_5, keine).
ladungs_nummer(wagen19_5, 0).
hat_fenster(wagen19_5, keine).
wagen_typ(wagen19_5, personenwagen).
passagier_nummer(wagen19_5, 8).
hat_wagen(zug19, wagen19_6).
wagen_nummer(wagen19_6, 6).
wagen_farbe(wagen19_6, gelb).
wagen_laenge(wagen19_6, lang).
hat_wand(wagen19_6, voll).
hat_dach(wagen19_6, verstrebtes_dach).
hat_rad(wagen19_6, 3).
hat_ladung(wagen19_6, goldene_vase).
ladungs_nummer(wagen19_6, 1).
hat_fenster(wagen19_6, halb).
wagen_typ(wagen19_6, gueterwagen).
passagier_nummer(wagen19_6, 0).

ost(zug20).
hat_wagen(zug20, wagen20_1).
wagen_nummer(wagen20_1, 1).
wagen_farbe(wagen20_1, weiss).
wagen_laenge(wagen20_1, kurz).
hat_wand(wagen20_1, gelaender).
hat_dach(wagen20_1, keine).
hat_rad(wagen20_1, 2).
hat_ladung(wagen20_1, keine).
ladungs_nummer(wagen20_1, 0).
hat_fenster(wagen20_1, halb).
wagen_typ(wagen20_1, gueterwagen).
passagier_nummer(wagen20_1, 0).
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, keine).
hat_rad(wagen20_2, 2).
hat_ladung(wagen20_2, keine).
ladungs_nummer(wagen20_2, 0).
hat_fenster(wagen20_2, voll).
wagen_typ(wagen20_2, personenwagen).
passagier_nummer(wagen20_2, 10).
hat_wagen(zug20, wagen20_3).
wagen_nummer(wagen20_3, 3).
wagen_farbe(wagen20_3, blau).
wagen_laenge(wagen20_3, kurz).
hat_wand(wagen20_3, voll).
hat_dach(wagen20_3, verstrebtes_dach).
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, 7).
hat_wagen(zug20, wagen20_4).
wagen_nummer(wagen20_4, 4).
wagen_farbe(wagen20_4, rot).
wagen_laenge(wagen20_4, lang).
hat_wand(wagen20_4, voll).
hat_dach(wagen20_4, verstrebtes_dach).
hat_rad(wagen20_4, 3).
hat_ladung(wagen20_4, ovale_vase).
ladungs_nummer(wagen20_4, 1).
hat_fenster(wagen20_4, halb).
wagen_typ(wagen20_4, gueterwagen).
passagier_nummer(wagen20_4, 0).
hat_wagen(zug20, wagen20_5).
wagen_nummer(wagen20_5, 5).
wagen_farbe(wagen20_5, gruen).
wagen_laenge(wagen20_5, kurz).
hat_wand(wagen20_5, voll).
hat_dach(wagen20_5, keine).
hat_rad(wagen20_5, 2).
hat_ladung(wagen20_5, keine).
ladungs_nummer(wagen20_5, 0).
hat_fenster(wagen20_5, voll).
wagen_typ(wagen20_5, personenwagen).
passagier_nummer(wagen20_5, 2).

ost(zug21).
hat_wagen(zug21, wagen21_1).
wagen_nummer(wagen21_1, 1).
wagen_farbe(wagen21_1, weiss).
wagen_laenge(wagen21_1, lang).
hat_wand(wagen21_1, gelaender).
hat_dach(wagen21_1, spitzdach).
hat_rad(wagen21_1, 3).
hat_ladung(wagen21_1, blaue_box).
ladungs_nummer(wagen21_1, 2).
hat_fenster(wagen21_1, keine).
wagen_typ(wagen21_1, gueterwagen).
passagier_nummer(wagen21_1, 0).
hat_wagen(zug21, wagen21_2).
wagen_nummer(wagen21_2, 2).
wagen_farbe(wagen21_2, weiss).
wagen_laenge(wagen21_2, kurz).
hat_wand(wagen21_2, gelaender).
hat_dach(wagen21_2, spitzdach).
hat_rad(wagen21_2, 2).
hat_ladung(wagen21_2, keine).
ladungs_nummer(wagen21_2, 0).
hat_fenster(wagen21_2, keine).
wagen_typ(wagen21_2, personenwagen).
passagier_nummer(wagen21_2, 1).
hat_wagen(zug21, wagen21_3).
wagen_nummer(wagen21_3, 3).
wagen_farbe(wagen21_3, blau).
wagen_laenge(wagen21_3, kurz).
hat_wand(wagen21_3, voll).
hat_dach(wagen21_3, festes_dach).
hat_rad(wagen21_3, 2).
hat_ladung(wagen21_3, keine).
ladungs_nummer(wagen21_3, 0).
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, rot).
wagen_laenge(wagen21_4, lang).
hat_wand(wagen21_4, gelaender).
hat_dach(wagen21_4, festes_dach).
hat_rad(wagen21_4, 2).
hat_ladung(wagen21_4, keine).
ladungs_nummer(wagen21_4, 0).
hat_fenster(wagen21_4, voll).
wagen_typ(wagen21_4, personenwagen).
passagier_nummer(wagen21_4, 4).
hat_wagen(zug21, wagen21_5).
wagen_nummer(wagen21_5, 5).
wagen_farbe(wagen21_5, weiss).
wagen_laenge(wagen21_5, kurz).
hat_wand(wagen21_5, voll).
hat_dach(wagen21_5, spitzdach).
hat_rad(wagen21_5, 2).
hat_ladung(wagen21_5, keine).
ladungs_nummer(wagen21_5, 0).
hat_fenster(wagen21_5, voll).
wagen_typ(wagen21_5, personenwagen).
passagier_nummer(wagen21_5, 2).
hat_wagen(zug21, wagen21_6).
wagen_nummer(wagen21_6, 6).
wagen_farbe(wagen21_6, rot).
wagen_laenge(wagen21_6, lang).
hat_wand(wagen21_6, voll).
hat_dach(wagen21_6, keine).
hat_rad(wagen21_6, 3).
hat_ladung(wagen21_6, keine).
ladungs_nummer(wagen21_6, 0).
hat_fenster(wagen21_6, keine).
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, gelaender).
hat_dach(wagen22_1, keine).
hat_rad(wagen22_1, 2).
hat_ladung(wagen22_1, ovale_vase).
ladungs_nummer(wagen22_1, 2).
hat_fenster(wagen22_1, voll).
wagen_typ(wagen22_1, gueterwagen).
passagier_nummer(wagen22_1, 0).
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, dach_fundament).
hat_rad(wagen22_2, 3).
hat_ladung(wagen22_2, fass).
ladungs_nummer(wagen22_2, 2).
hat_fenster(wagen22_2, halb).
wagen_typ(wagen22_2, gemischt).
passagier_nummer(wagen22_2, 6).
hat_wagen(zug22, wagen22_3).
wagen_nummer(wagen22_3, 3).
wagen_farbe(wagen22_3, gruen).
wagen_laenge(wagen22_3, kurz).
hat_wand(wagen22_3, voll).
hat_dach(wagen22_3, dach_fundament).
hat_rad(wagen22_3, 2).
hat_ladung(wagen22_3, keine).
ladungs_nummer(wagen22_3, 0).
hat_fenster(wagen22_3, voll).
wagen_typ(wagen22_3, personenwagen).
passagier_nummer(wagen22_3, 4).
hat_wagen(zug22, wagen22_4).
wagen_nummer(wagen22_4, 4).
wagen_farbe(wagen22_4, gelb).
wagen_laenge(wagen22_4, kurz).
hat_wand(wagen22_4, voll).
hat_dach(wagen22_4, festes_dach).
hat_rad(wagen22_4, 2).
hat_ladung(wagen22_4, fass).
ladungs_nummer(wagen22_4, 1).
hat_fenster(wagen22_4, voll).
wagen_typ(wagen22_4, gemischt).
passagier_nummer(wagen22_4, 5).
hat_wagen(zug22, wagen22_5).
wagen_nummer(wagen22_5, 5).
wagen_farbe(wagen22_5, weiss).
wagen_laenge(wagen22_5, kurz).
hat_wand(wagen22_5, voll).
hat_dach(wagen22_5, dach_fundament).
hat_rad(wagen22_5, 2).
hat_ladung(wagen22_5, keine).
ladungs_nummer(wagen22_5, 0).
hat_fenster(wagen22_5, halb).
wagen_typ(wagen22_5, gueterwagen).
passagier_nummer(wagen22_5, 0).
hat_wagen(zug22, wagen22_6).
wagen_nummer(wagen22_6, 6).
wagen_farbe(wagen22_6, weiss).
wagen_laenge(wagen22_6, lang).
hat_wand(wagen22_6, voll).
hat_dach(wagen22_6, festes_dach).
hat_rad(wagen22_6, 2).
hat_ladung(wagen22_6, keine).
ladungs_nummer(wagen22_6, 0).
hat_fenster(wagen22_6, voll).
wagen_typ(wagen22_6, personenwagen).
passagier_nummer(wagen22_6, 8).

ost(zug23).
hat_wagen(zug23, wagen23_1).
wagen_nummer(wagen23_1, 1).
wagen_farbe(wagen23_1, gelb).
wagen_laenge(wagen23_1, lang).
hat_wand(wagen23_1, voll).
hat_dach(wagen23_1, keine).
hat_rad(wagen23_1, 3).
hat_ladung(wagen23_1, ovale_vase).
ladungs_nummer(wagen23_1, 3).
hat_fenster(wagen23_1, halb).
wagen_typ(wagen23_1, gemischt).
passagier_nummer(wagen23_1, 6).
hat_wagen(zug23, wagen23_2).
wagen_nummer(wagen23_2, 2).
wagen_farbe(wagen23_2, gruen).
wagen_laenge(wagen23_2, lang).
hat_wand(wagen23_2, voll).
hat_dach(wagen23_2, verstrebtes_dach).
hat_rad(wagen23_2, 2).
hat_ladung(wagen23_2, diamant).
ladungs_nummer(wagen23_2, 2).
hat_fenster(wagen23_2, halb).
wagen_typ(wagen23_2, gueterwagen).
passagier_nummer(wagen23_2, 0).
hat_wagen(zug23, wagen23_3).
wagen_nummer(wagen23_3, 3).
wagen_farbe(wagen23_3, blau).
wagen_laenge(wagen23_3, lang).
hat_wand(wagen23_3, gelaender).
hat_dach(wagen23_3, verstrebtes_dach).
hat_rad(wagen23_3, 3).
hat_ladung(wagen23_3, ovale_vase).
ladungs_nummer(wagen23_3, 1).
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, rot).
wagen_laenge(wagen23_4, kurz).
hat_wand(wagen23_4, gelaender).
hat_dach(wagen23_4, keine).
hat_rad(wagen23_4, 2).
hat_ladung(wagen23_4, keine).
ladungs_nummer(wagen23_4, 0).
hat_fenster(wagen23_4, voll).
wagen_typ(wagen23_4, personenwagen).
passagier_nummer(wagen23_4, 4).
hat_wagen(zug23, wagen23_5).
wagen_nummer(wagen23_5, 5).
wagen_farbe(wagen23_5, weiss).
wagen_laenge(wagen23_5, kurz).
hat_wand(wagen23_5, gelaender).
hat_dach(wagen23_5, spitzdach).
hat_rad(wagen23_5, 2).
hat_ladung(wagen23_5, keine).
ladungs_nummer(wagen23_5, 0).
hat_fenster(wagen23_5, keine).
wagen_typ(wagen23_5, gueterwagen).
passagier_nummer(wagen23_5, 0).
hat_wagen(zug23, wagen23_6).
wagen_nummer(wagen23_6, 6).
wagen_farbe(wagen23_6, gruen).
wagen_laenge(wagen23_6, lang).
hat_wand(wagen23_6, gelaender).
hat_dach(wagen23_6, spitzdach).
hat_rad(wagen23_6, 2).
hat_ladung(wagen23_6, keine).
ladungs_nummer(wagen23_6, 0).
hat_fenster(wagen23_6, voll).
wagen_typ(wagen23_6, personenwagen).
passagier_nummer(wagen23_6, 8).

ost(zug24).
hat_wagen(zug24, wagen24_1).
wagen_nummer(wagen24_1, 1).
wagen_farbe(wagen24_1, rot).
wagen_laenge(wagen24_1, kurz).
hat_wand(wagen24_1, voll).
hat_dach(wagen24_1, spitzdach).
hat_rad(wagen24_1, 2).
hat_ladung(wagen24_1, keine).
ladungs_nummer(wagen24_1, 0).
hat_fenster(wagen24_1, keine).
wagen_typ(wagen24_1, personenwagen).
passagier_nummer(wagen24_1, 10).
hat_wagen(zug24, wagen24_2).
wagen_nummer(wagen24_2, 2).
wagen_farbe(wagen24_2, rot).
wagen_laenge(wagen24_2, lang).
hat_wand(wagen24_2, gelaender).
hat_dach(wagen24_2, dach_fundament).
hat_rad(wagen24_2, 2).
hat_ladung(wagen24_2, keine).
ladungs_nummer(wagen24_2, 0).
hat_fenster(wagen24_2, keine).
wagen_typ(wagen24_2, personenwagen).
passagier_nummer(wagen24_2, 5).
hat_wagen(zug24, wagen24_3).
wagen_nummer(wagen24_3, 3).
wagen_farbe(wagen24_3, weiss).
wagen_laenge(wagen24_3, lang).
hat_wand(wagen24_3, gelaender).
hat_dach(wagen24_3, dach_fundament).
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, 7).
hat_wagen(zug24, wagen24_4).
wagen_nummer(wagen24_4, 4).
wagen_farbe(wagen24_4, gruen).
wagen_laenge(wagen24_4, lang).
hat_wand(wagen24_4, voll).
hat_dach(wagen24_4, verstrebtes_dach).
hat_rad(wagen24_4, 3).
hat_ladung(wagen24_4, diamant).
ladungs_nummer(wagen24_4, 3).
hat_fenster(wagen24_4, halb).
wagen_typ(wagen24_4, gemischt).
passagier_nummer(wagen24_4, 7).
hat_wagen(zug24, wagen24_5).
wagen_nummer(wagen24_5, 5).
wagen_farbe(wagen24_5, weiss).
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, voll).
wagen_typ(wagen24_5, personenwagen).
passagier_nummer(wagen24_5, 0).
hat_wagen(zug24, wagen24_6).
wagen_nummer(wagen24_6, 6).
wagen_farbe(wagen24_6, weiss).
wagen_laenge(wagen24_6, kurz).
hat_wand(wagen24_6, gelaender).
hat_dach(wagen24_6, keine).
hat_rad(wagen24_6, 2).
hat_ladung(wagen24_6, ovale_vase).
ladungs_nummer(wagen24_6, 2).
hat_fenster(wagen24_6, halb).
wagen_typ(wagen24_6, gemischt).
passagier_nummer(wagen24_6, 10).

ost(zug25).
hat_wagen(zug25, wagen25_1).
wagen_nummer(wagen25_1, 1).
wagen_farbe(wagen25_1, rot).
wagen_laenge(wagen25_1, lang).
hat_wand(wagen25_1, voll).
hat_dach(wagen25_1, keine).
hat_rad(wagen25_1, 2).
hat_ladung(wagen25_1, goldene_vase).
ladungs_nummer(wagen25_1, 3).
hat_fenster(wagen25_1, voll).
wagen_typ(wagen25_1, gueterwagen).
passagier_nummer(wagen25_1, 0).
hat_wagen(zug25, wagen25_2).
wagen_nummer(wagen25_2, 2).
wagen_farbe(wagen25_2, rot).
wagen_laenge(wagen25_2, lang).
hat_wand(wagen25_2, voll).
hat_dach(wagen25_2, dach_fundament).
hat_rad(wagen25_2, 2).
hat_ladung(wagen25_2, goldene_vase).
ladungs_nummer(wagen25_2, 3).
hat_fenster(wagen25_2, halb).
wagen_typ(wagen25_2, gueterwagen).
passagier_nummer(wagen25_2, 0).
hat_wagen(zug25, wagen25_3).
wagen_nummer(wagen25_3, 3).
wagen_farbe(wagen25_3, rot).
wagen_laenge(wagen25_3, kurz).
hat_wand(wagen25_3, voll).
hat_dach(wagen25_3, keine).
hat_rad(wagen25_3, 2).
hat_ladung(wagen25_3, ovale_vase).
ladungs_nummer(wagen25_3, 2).
hat_fenster(wagen25_3, keine).
wagen_typ(wagen25_3, gueterwagen).
passagier_nummer(wagen25_3, 0).
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, festes_dach).
hat_rad(wagen25_4, 3).
hat_ladung(wagen25_4, goldene_vase).
ladungs_nummer(wagen25_4, 2).
hat_fenster(wagen25_4, halb).
wagen_typ(wagen25_4, gueterwagen).
passagier_nummer(wagen25_4, 0).
hat_wagen(zug25, wagen25_5).
wagen_nummer(wagen25_5, 5).
wagen_farbe(wagen25_5, rot).
wagen_laenge(wagen25_5, lang).
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, 3).
hat_wagen(zug25, wagen25_6).
wagen_nummer(wagen25_6, 6).
wagen_farbe(wagen25_6, weiss).
wagen_laenge(wagen25_6, lang).
hat_wand(wagen25_6, voll).
hat_dach(wagen25_6, festes_dach).
hat_rad(wagen25_6, 3).
hat_ladung(wagen25_6, keine).
ladungs_nummer(wagen25_6, 0).
hat_fenster(wagen25_6, voll).
wagen_typ(wagen25_6, personenwagen).
passagier_nummer(wagen25_6, 1).

ost(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, 2).
hat_ladung(wagen26_1, ovale_vase).
ladungs_nummer(wagen26_1, 1).
hat_fenster(wagen26_1, voll).
wagen_typ(wagen26_1, gemischt).
passagier_nummer(wagen26_1, 1).
hat_wagen(zug26, wagen26_2).
wagen_nummer(wagen26_2, 2).
wagen_farbe(wagen26_2, gelb).
wagen_laenge(wagen26_2, kurz).
hat_wand(wagen26_2, gelaender).
hat_dach(wagen26_2, festes_dach).
hat_rad(wagen26_2, 2).
hat_ladung(wagen26_2, fass).
ladungs_nummer(wagen26_2, 1).
hat_fenster(wagen26_2, voll).
wagen_typ(wagen26_2, gueterwagen).
passagier_nummer(wagen26_2, 0).
hat_wagen(zug26, wagen26_3).
wagen_nummer(wagen26_3, 3).
wagen_farbe(wagen26_3, weiss).
wagen_laenge(wagen26_3, lang).
hat_wand(wagen26_3, gelaender).
hat_dach(wagen26_3, keine).
hat_rad(wagen26_3, 2).
hat_ladung(wagen26_3, fass).
ladungs_nummer(wagen26_3, 3).
hat_fenster(wagen26_3, keine).
wagen_typ(wagen26_3, gueterwagen).
passagier_nummer(wagen26_3, 0).
hat_wagen(zug26, wagen26_4).
wagen_nummer(wagen26_4, 4).
wagen_farbe(wagen26_4, gelb).
wagen_laenge(wagen26_4, kurz).
hat_wand(wagen26_4, voll).
hat_dach(wagen26_4, verstrebtes_dach).
hat_rad(wagen26_4, 2).
hat_ladung(wagen26_4, keine).
ladungs_nummer(wagen26_4, 0).
hat_fenster(wagen26_4, keine).
wagen_typ(wagen26_4, personenwagen).
passagier_nummer(wagen26_4, 3).
hat_wagen(zug26, wagen26_5).
wagen_nummer(wagen26_5, 5).
wagen_farbe(wagen26_5, gruen).
wagen_laenge(wagen26_5, lang).
hat_wand(wagen26_5, voll).
hat_dach(wagen26_5, festes_dach).
hat_rad(wagen26_5, 3).
hat_ladung(wagen26_5, metall_topf).
ladungs_nummer(wagen26_5, 2).
hat_fenster(wagen26_5, voll).
wagen_typ(wagen26_5, gueterwagen).
passagier_nummer(wagen26_5, 0).

ost(zug27).
hat_wagen(zug27, wagen27_1).
wagen_nummer(wagen27_1, 1).
wagen_farbe(wagen27_1, gruen).
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, keine).
wagen_typ(wagen27_1, personenwagen).
passagier_nummer(wagen27_1, 10).
hat_wagen(zug27, wagen27_2).
wagen_nummer(wagen27_2, 2).
wagen_farbe(wagen27_2, weiss).
wagen_laenge(wagen27_2, kurz).
hat_wand(wagen27_2, voll).
hat_dach(wagen27_2, verstrebtes_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, 6).
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, spitzdach).
hat_rad(wagen27_3, 2).
hat_ladung(wagen27_3, blaue_box).
ladungs_nummer(wagen27_3, 1).
hat_fenster(wagen27_3, halb).
wagen_typ(wagen27_3, gemischt).
passagier_nummer(wagen27_3, 4).
hat_wagen(zug27, wagen27_4).
wagen_nummer(wagen27_4, 4).
wagen_farbe(wagen27_4, rot).
wagen_laenge(wagen27_4, kurz).
hat_wand(wagen27_4, voll).
hat_dach(wagen27_4, dach_fundament).
hat_rad(wagen27_4, 2).
hat_ladung(wagen27_4, keine).
ladungs_nummer(wagen27_4, 0).
hat_fenster(wagen27_4, keine).
wagen_typ(wagen27_4, personenwagen).
passagier_nummer(wagen27_4, 3).
hat_wagen(zug27, wagen27_5).
wagen_nummer(wagen27_5, 5).
wagen_farbe(wagen27_5, rot).
wagen_laenge(wagen27_5, kurz).
hat_wand(wagen27_5, gelaender).
hat_dach(wagen27_5, dach_fundament).
hat_rad(wagen27_5, 2).
hat_ladung(wagen27_5, keine).
ladungs_nummer(wagen27_5, 0).
hat_fenster(wagen27_5, halb).
wagen_typ(wagen27_5, personenwagen).
passagier_nummer(wagen27_5, 3).


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) :-
    hat_wagen(Zug, CarA),
    hat_wagen(Zug, CarB),
    CarA \= CarB,
    wagen_nummer(CarA, N1),
    wagen_nummer(CarB, N2),
    (N2 =:= N1 + 1 ; N2 =:= N1 - 1),
    hat_ladung(CarA, Payload),
    hat_ladung(CarB, Payload),
    wagen_farbe(CarA, weiss).
west(zug0).
hat_wagen(zug0, wagen0_1).
wagen_nummer(wagen0_1, 1).
wagen_farbe(wagen0_1, rot).
wagen_laenge(wagen0_1, lang).
hat_wand(wagen0_1, voll).
hat_dach(wagen0_1, verstrebtes_dach).
hat_rad(wagen0_1, 3).
hat_ladung(wagen0_1, blaue_box).
ladungs_nummer(wagen0_1, 3).
hat_fenster(wagen0_1, voll).
wagen_typ(wagen0_1, gueterwagen).
passagier_nummer(wagen0_1, 0).
hat_wagen(zug0, wagen0_2).
wagen_nummer(wagen0_2, 2).
wagen_farbe(wagen0_2, blau).
wagen_laenge(wagen0_2, kurz).
hat_wand(wagen0_2, gelaender).
hat_dach(wagen0_2, dach_fundament).
hat_rad(wagen0_2, 2).
hat_ladung(wagen0_2, diamant).
ladungs_nummer(wagen0_2, 2).
hat_fenster(wagen0_2, halb).
wagen_typ(wagen0_2, gemischt).
passagier_nummer(wagen0_2, 10).
hat_wagen(zug0, wagen0_3).
wagen_nummer(wagen0_3, 3).
wagen_farbe(wagen0_3, gelb).
wagen_laenge(wagen0_3, lang).
hat_wand(wagen0_3, voll).
hat_dach(wagen0_3, keine).
hat_rad(wagen0_3, 2).
hat_ladung(wagen0_3, metall_topf).
ladungs_nummer(wagen0_3, 3).
hat_fenster(wagen0_3, keine).
wagen_typ(wagen0_3, gemischt).
passagier_nummer(wagen0_3, 8).
hat_wagen(zug0, wagen0_4).
wagen_nummer(wagen0_4, 4).
wagen_farbe(wagen0_4, gelb).
wagen_laenge(wagen0_4, lang).
hat_wand(wagen0_4, gelaender).
hat_dach(wagen0_4, festes_dach).
hat_rad(wagen0_4, 2).
hat_ladung(wagen0_4, keine).
ladungs_nummer(wagen0_4, 0).
hat_fenster(wagen0_4, halb).
wagen_typ(wagen0_4, personenwagen).
passagier_nummer(wagen0_4, 5).
hat_wagen(zug0, wagen0_5).
wagen_nummer(wagen0_5, 5).
wagen_farbe(wagen0_5, gelb).
wagen_laenge(wagen0_5, kurz).
hat_wand(wagen0_5, voll).
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, halb).
wagen_typ(wagen0_5, personenwagen).
passagier_nummer(wagen0_5, 5).

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

west(zug2).
hat_wagen(zug2, wagen2_1).
wagen_nummer(wagen2_1, 1).
wagen_farbe(wagen2_1, gelb).
wagen_laenge(wagen2_1, kurz).
hat_wand(wagen2_1, voll).
hat_dach(wagen2_1, festes_dach).
hat_rad(wagen2_1, 2).
hat_ladung(wagen2_1, fass).
ladungs_nummer(wagen2_1, 1).
hat_fenster(wagen2_1, voll).
wagen_typ(wagen2_1, gueterwagen).
passagier_nummer(wagen2_1, 0).
hat_wagen(zug2, wagen2_2).
wagen_nummer(wagen2_2, 2).
wagen_farbe(wagen2_2, rot).
wagen_laenge(wagen2_2, lang).
hat_wand(wagen2_2, voll).
hat_dach(wagen2_2, spitzdach).
hat_rad(wagen2_2, 3).
hat_ladung(wagen2_2, keine).
ladungs_nummer(wagen2_2, 0).
hat_fenster(wagen2_2, keine).
wagen_typ(wagen2_2, personenwagen).
passagier_nummer(wagen2_2, 10).
hat_wagen(zug2, wagen2_3).
wagen_nummer(wagen2_3, 3).
wagen_farbe(wagen2_3, rot).
wagen_laenge(wagen2_3, kurz).
hat_wand(wagen2_3, gelaender).
hat_dach(wagen2_3, festes_dach).
hat_rad(wagen2_3, 2).
hat_ladung(wagen2_3, fass).
ladungs_nummer(wagen2_3, 1).
hat_fenster(wagen2_3, voll).
wagen_typ(wagen2_3, gemischt).
passagier_nummer(wagen2_3, 7).
hat_wagen(zug2, wagen2_4).
wagen_nummer(wagen2_4, 4).
wagen_farbe(wagen2_4, rot).
wagen_laenge(wagen2_4, kurz).
hat_wand(wagen2_4, gelaender).
hat_dach(wagen2_4, keine).
hat_rad(wagen2_4, 2).
hat_ladung(wagen2_4, keine).
ladungs_nummer(wagen2_4, 0).
hat_fenster(wagen2_4, keine).
wagen_typ(wagen2_4, personenwagen).
passagier_nummer(wagen2_4, 0).
hat_wagen(zug2, wagen2_5).
wagen_nummer(wagen2_5, 5).
wagen_farbe(wagen2_5, blau).
wagen_laenge(wagen2_5, lang).
hat_wand(wagen2_5, voll).
hat_dach(wagen2_5, verstrebtes_dach).
hat_rad(wagen2_5, 3).
hat_ladung(wagen2_5, blaue_box).
ladungs_nummer(wagen2_5, 2).
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, rot).
wagen_laenge(wagen2_6, kurz).
hat_wand(wagen2_6, gelaender).
hat_dach(wagen2_6, verstrebtes_dach).
hat_rad(wagen2_6, 2).
hat_ladung(wagen2_6, keine).
ladungs_nummer(wagen2_6, 0).
hat_fenster(wagen2_6, keine).
wagen_typ(wagen2_6, gemischt).
passagier_nummer(wagen2_6, 0).

west(zug3).
hat_wagen(zug3, wagen3_1).
wagen_nummer(wagen3_1, 1).
wagen_farbe(wagen3_1, gruen).
wagen_laenge(wagen3_1, lang).
hat_wand(wagen3_1, gelaender).
hat_dach(wagen3_1, festes_dach).
hat_rad(wagen3_1, 2).
hat_ladung(wagen3_1, keine).
ladungs_nummer(wagen3_1, 0).
hat_fenster(wagen3_1, keine).
wagen_typ(wagen3_1, gemischt).
passagier_nummer(wagen3_1, 2).
hat_wagen(zug3, wagen3_2).
wagen_nummer(wagen3_2, 2).
wagen_farbe(wagen3_2, gelb).
wagen_laenge(wagen3_2, kurz).
hat_wand(wagen3_2, voll).
hat_dach(wagen3_2, festes_dach).
hat_rad(wagen3_2, 2).
hat_ladung(wagen3_2, diamant).
ladungs_nummer(wagen3_2, 2).
hat_fenster(wagen3_2, keine).
wagen_typ(wagen3_2, gemischt).
passagier_nummer(wagen3_2, 5).
hat_wagen(zug3, wagen3_3).
wagen_nummer(wagen3_3, 3).
wagen_farbe(wagen3_3, rot).
wagen_laenge(wagen3_3, kurz).
hat_wand(wagen3_3, gelaender).
hat_dach(wagen3_3, verstrebtes_dach).
hat_rad(wagen3_3, 2).
hat_ladung(wagen3_3, diamant).
ladungs_nummer(wagen3_3, 2).
hat_fenster(wagen3_3, keine).
wagen_typ(wagen3_3, gemischt).
passagier_nummer(wagen3_3, 1).
hat_wagen(zug3, wagen3_4).
wagen_nummer(wagen3_4, 4).
wagen_farbe(wagen3_4, rot).
wagen_laenge(wagen3_4, kurz).
hat_wand(wagen3_4, voll).
hat_dach(wagen3_4, verstrebtes_dach).
hat_rad(wagen3_4, 2).
hat_ladung(wagen3_4, keine).
ladungs_nummer(wagen3_4, 0).
hat_fenster(wagen3_4, voll).
wagen_typ(wagen3_4, personenwagen).
passagier_nummer(wagen3_4, 0).
hat_wagen(zug3, wagen3_5).
wagen_nummer(wagen3_5, 5).
wagen_farbe(wagen3_5, gelb).
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, goldene_vase).
ladungs_nummer(wagen3_5, 2).
hat_fenster(wagen3_5, voll).
wagen_typ(wagen3_5, gemischt).
passagier_nummer(wagen3_5, 8).
hat_wagen(zug3, wagen3_6).
wagen_nummer(wagen3_6, 6).
wagen_farbe(wagen3_6, gelb).
wagen_laenge(wagen3_6, kurz).
hat_wand(wagen3_6, voll).
hat_dach(wagen3_6, dach_fundament).
hat_rad(wagen3_6, 2).
hat_ladung(wagen3_6, keine).
ladungs_nummer(wagen3_6, 0).
hat_fenster(wagen3_6, halb).
wagen_typ(wagen3_6, personenwagen).
passagier_nummer(wagen3_6, 7).

ost(zug4).
hat_wagen(zug4, wagen4_1).
wagen_nummer(wagen4_1, 1).
wagen_farbe(wagen4_1, rot).
wagen_laenge(wagen4_1, lang).
hat_wand(wagen4_1, voll).
hat_dach(wagen4_1, festes_dach).
hat_rad(wagen4_1, 2).
hat_ladung(wagen4_1, keine).
ladungs_nummer(wagen4_1, 0).
hat_fenster(wagen4_1, halb).
wagen_typ(wagen4_1, personenwagen).
passagier_nummer(wagen4_1, 5).
hat_wagen(zug4, wagen4_2).
wagen_nummer(wagen4_2, 2).
wagen_farbe(wagen4_2, gelb).
wagen_laenge(wagen4_2, lang).
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, halb).
wagen_typ(wagen4_2, personenwagen).
passagier_nummer(wagen4_2, 10).
hat_wagen(zug4, wagen4_3).
wagen_nummer(wagen4_3, 3).
wagen_farbe(wagen4_3, gruen).
wagen_laenge(wagen4_3, lang).
hat_wand(wagen4_3, voll).
hat_dach(wagen4_3, spitzdach).
hat_rad(wagen4_3, 2).
hat_ladung(wagen4_3, fass).
ladungs_nummer(wagen4_3, 1).
hat_fenster(wagen4_3, voll).
wagen_typ(wagen4_3, gueterwagen).
passagier_nummer(wagen4_3, 0).
hat_wagen(zug4, wagen4_4).
wagen_nummer(wagen4_4, 4).
wagen_farbe(wagen4_4, weiss).
wagen_laenge(wagen4_4, lang).
hat_wand(wagen4_4, gelaender).
hat_dach(wagen4_4, festes_dach).
hat_rad(wagen4_4, 3).
hat_ladung(wagen4_4, fass).
ladungs_nummer(wagen4_4, 1).
hat_fenster(wagen4_4, voll).
wagen_typ(wagen4_4, gemischt).
passagier_nummer(wagen4_4, 5).
hat_wagen(zug4, wagen4_5).
wagen_nummer(wagen4_5, 5).
wagen_farbe(wagen4_5, rot).
wagen_laenge(wagen4_5, kurz).
hat_wand(wagen4_5, gelaender).
hat_dach(wagen4_5, dach_fundament).
hat_rad(wagen4_5, 2).
hat_ladung(wagen4_5, goldene_vase).
ladungs_nummer(wagen4_5, 1).
hat_fenster(wagen4_5, halb).
wagen_typ(wagen4_5, gemischt).
passagier_nummer(wagen4_5, 4).

west(zug5).
hat_wagen(zug5, wagen5_1).
wagen_nummer(wagen5_1, 1).
wagen_farbe(wagen5_1, blau).
wagen_laenge(wagen5_1, lang).
hat_wand(wagen5_1, gelaender).
hat_dach(wagen5_1, dach_fundament).
hat_rad(wagen5_1, 2).
hat_ladung(wagen5_1, keine).
ladungs_nummer(wagen5_1, 0).
hat_fenster(wagen5_1, voll).
wagen_typ(wagen5_1, personenwagen).
passagier_nummer(wagen5_1, 9).
hat_wagen(zug5, wagen5_2).
wagen_nummer(wagen5_2, 2).
wagen_farbe(wagen5_2, rot).
wagen_laenge(wagen5_2, lang).
hat_wand(wagen5_2, voll).
hat_dach(wagen5_2, festes_dach).
hat_rad(wagen5_2, 3).
hat_ladung(wagen5_2, keine).
ladungs_nummer(wagen5_2, 0).
hat_fenster(wagen5_2, halb).
wagen_typ(wagen5_2, gueterwagen).
passagier_nummer(wagen5_2, 0).
hat_wagen(zug5, wagen5_3).
wagen_nummer(wagen5_3, 3).
wagen_farbe(wagen5_3, rot).
wagen_laenge(wagen5_3, kurz).
hat_wand(wagen5_3, voll).
hat_dach(wagen5_3, spitzdach).
hat_rad(wagen5_3, 2).
hat_ladung(wagen5_3, ovale_vase).
ladungs_nummer(wagen5_3, 1).
hat_fenster(wagen5_3, halb).
wagen_typ(wagen5_3, gueterwagen).
passagier_nummer(wagen5_3, 0).
hat_wagen(zug5, wagen5_4).
wagen_nummer(wagen5_4, 4).
wagen_farbe(wagen5_4, blau).
wagen_laenge(wagen5_4, kurz).
hat_wand(wagen5_4, voll).
hat_dach(wagen5_4, dach_fundament).
hat_rad(wagen5_4, 2).
hat_ladung(wagen5_4, fass).
ladungs_nummer(wagen5_4, 1).
hat_fenster(wagen5_4, keine).
wagen_typ(wagen5_4, gemischt).
passagier_nummer(wagen5_4, 6).
hat_wagen(zug5, wagen5_5).
wagen_nummer(wagen5_5, 5).
wagen_farbe(wagen5_5, gruen).
wagen_laenge(wagen5_5, kurz).
hat_wand(wagen5_5, voll).
hat_dach(wagen5_5, keine).
hat_rad(wagen5_5, 2).
hat_ladung(wagen5_5, blaue_box).
ladungs_nummer(wagen5_5, 2).
hat_fenster(wagen5_5, voll).
wagen_typ(wagen5_5, gemischt).
passagier_nummer(wagen5_5, 4).

west(zug6).
hat_wagen(zug6, wagen6_1).
wagen_nummer(wagen6_1, 1).
wagen_farbe(wagen6_1, gruen).
wagen_laenge(wagen6_1, kurz).
hat_wand(wagen6_1, gelaender).
hat_dach(wagen6_1, spitzdach).
hat_rad(wagen6_1, 2).
hat_ladung(wagen6_1, keine).
ladungs_nummer(wagen6_1, 0).
hat_fenster(wagen6_1, keine).
wagen_typ(wagen6_1, gueterwagen).
passagier_nummer(wagen6_1, 0).
hat_wagen(zug6, wagen6_2).
wagen_nummer(wagen6_2, 2).
wagen_farbe(wagen6_2, gelb).
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, halb).
wagen_typ(wagen6_2, personenwagen).
passagier_nummer(wagen6_2, 5).
hat_wagen(zug6, wagen6_3).
wagen_nummer(wagen6_3, 3).
wagen_farbe(wagen6_3, gruen).
wagen_laenge(wagen6_3, kurz).
hat_wand(wagen6_3, gelaender).
hat_dach(wagen6_3, keine).
hat_rad(wagen6_3, 2).
hat_ladung(wagen6_3, keine).
ladungs_nummer(wagen6_3, 0).
hat_fenster(wagen6_3, keine).
wagen_typ(wagen6_3, personenwagen).
passagier_nummer(wagen6_3, 10).
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, verstrebtes_dach).
hat_rad(wagen6_4, 2).
hat_ladung(wagen6_4, fass).
ladungs_nummer(wagen6_4, 2).
hat_fenster(wagen6_4, halb).
wagen_typ(wagen6_4, gemischt).
passagier_nummer(wagen6_4, 9).
hat_wagen(zug6, wagen6_5).
wagen_nummer(wagen6_5, 5).
wagen_farbe(wagen6_5, rot).
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, personenwagen).
passagier_nummer(wagen6_5, 1).
hat_wagen(zug6, wagen6_6).
wagen_nummer(wagen6_6, 6).
wagen_farbe(wagen6_6, gruen).
wagen_laenge(wagen6_6, kurz).
hat_wand(wagen6_6, gelaender).
hat_dach(wagen6_6, verstrebtes_dach).
hat_rad(wagen6_6, 2).
hat_ladung(wagen6_6, goldene_vase).
ladungs_nummer(wagen6_6, 2).
hat_fenster(wagen6_6, keine).
wagen_typ(wagen6_6, gueterwagen).
passagier_nummer(wagen6_6, 0).

ost(zug7).
hat_wagen(zug7, wagen7_1).
wagen_nummer(wagen7_1, 1).
wagen_farbe(wagen7_1, gelb).
wagen_laenge(wagen7_1, lang).
hat_wand(wagen7_1, voll).
hat_dach(wagen7_1, spitzdach).
hat_rad(wagen7_1, 2).
hat_ladung(wagen7_1, keine).
ladungs_nummer(wagen7_1, 0).
hat_fenster(wagen7_1, keine).
wagen_typ(wagen7_1, gemischt).
passagier_nummer(wagen7_1, 8).
hat_wagen(zug7, wagen7_2).
wagen_nummer(wagen7_2, 2).
wagen_farbe(wagen7_2, weiss).
wagen_laenge(wagen7_2, lang).
hat_wand(wagen7_2, gelaender).
hat_dach(wagen7_2, festes_dach).
hat_rad(wagen7_2, 3).
hat_ladung(wagen7_2, keine).
ladungs_nummer(wagen7_2, 0).
hat_fenster(wagen7_2, halb).
wagen_typ(wagen7_2, gueterwagen).
passagier_nummer(wagen7_2, 0).
hat_wagen(zug7, wagen7_3).
wagen_nummer(wagen7_3, 3).
wagen_farbe(wagen7_3, weiss).
wagen_laenge(wagen7_3, kurz).
hat_wand(wagen7_3, gelaender).
hat_dach(wagen7_3, festes_dach).
hat_rad(wagen7_3, 2).
hat_ladung(wagen7_3, goldene_vase).
ladungs_nummer(wagen7_3, 2).
hat_fenster(wagen7_3, halb).
wagen_typ(wagen7_3, gemischt).
passagier_nummer(wagen7_3, 4).
hat_wagen(zug7, wagen7_4).
wagen_nummer(wagen7_4, 4).
wagen_farbe(wagen7_4, blau).
wagen_laenge(wagen7_4, kurz).
hat_wand(wagen7_4, gelaender).
hat_dach(wagen7_4, verstrebtes_dach).
hat_rad(wagen7_4, 2).
hat_ladung(wagen7_4, keine).
ladungs_nummer(wagen7_4, 0).
hat_fenster(wagen7_4, voll).
wagen_typ(wagen7_4, gueterwagen).
passagier_nummer(wagen7_4, 0).
hat_wagen(zug7, wagen7_5).
wagen_nummer(wagen7_5, 5).
wagen_farbe(wagen7_5, blau).
wagen_laenge(wagen7_5, lang).
hat_wand(wagen7_5, voll).
hat_dach(wagen7_5, dach_fundament).
hat_rad(wagen7_5, 2).
hat_ladung(wagen7_5, keine).
ladungs_nummer(wagen7_5, 0).
hat_fenster(wagen7_5, voll).
wagen_typ(wagen7_5, personenwagen).
passagier_nummer(wagen7_5, 6).
hat_wagen(zug7, wagen7_6).
wagen_nummer(wagen7_6, 6).
wagen_farbe(wagen7_6, gruen).
wagen_laenge(wagen7_6, lang).
hat_wand(wagen7_6, gelaender).
hat_dach(wagen7_6, keine).
hat_rad(wagen7_6, 2).
hat_ladung(wagen7_6, diamant).
ladungs_nummer(wagen7_6, 3).
hat_fenster(wagen7_6, voll).
wagen_typ(wagen7_6, gueterwagen).
passagier_nummer(wagen7_6, 0).

west(zug8).
hat_wagen(zug8, wagen8_1).
wagen_nummer(wagen8_1, 1).
wagen_farbe(wagen8_1, blau).
wagen_laenge(wagen8_1, kurz).
hat_wand(wagen8_1, gelaender).
hat_dach(wagen8_1, festes_dach).
hat_rad(wagen8_1, 2).
hat_ladung(wagen8_1, keine).
ladungs_nummer(wagen8_1, 0).
hat_fenster(wagen8_1, voll).
wagen_typ(wagen8_1, personenwagen).
passagier_nummer(wagen8_1, 5).
hat_wagen(zug8, wagen8_2).
wagen_nummer(wagen8_2, 2).
wagen_farbe(wagen8_2, weiss).
wagen_laenge(wagen8_2, kurz).
hat_wand(wagen8_2, gelaender).
hat_dach(wagen8_2, keine).
hat_rad(wagen8_2, 2).
hat_ladung(wagen8_2, blaue_box).
ladungs_nummer(wagen8_2, 1).
hat_fenster(wagen8_2, keine).
wagen_typ(wagen8_2, gemischt).
passagier_nummer(wagen8_2, 7).
hat_wagen(zug8, wagen8_3).
wagen_nummer(wagen8_3, 3).
wagen_farbe(wagen8_3, gruen).
wagen_laenge(wagen8_3, kurz).
hat_wand(wagen8_3, voll).
hat_dach(wagen8_3, festes_dach).
hat_rad(wagen8_3, 2).
hat_ladung(wagen8_3, keine).
ladungs_nummer(wagen8_3, 0).
hat_fenster(wagen8_3, halb).
wagen_typ(wagen8_3, personenwagen).
passagier_nummer(wagen8_3, 6).
hat_wagen(zug8, wagen8_4).
wagen_nummer(wagen8_4, 4).
wagen_farbe(wagen8_4, gelb).
wagen_laenge(wagen8_4, kurz).
hat_wand(wagen8_4, voll).
hat_dach(wagen8_4, keine).
hat_rad(wagen8_4, 2).
hat_ladung(wagen8_4, ovale_vase).
ladungs_nummer(wagen8_4, 1).
hat_fenster(wagen8_4, keine).
wagen_typ(wagen8_4, gemischt).
passagier_nummer(wagen8_4, 7).
hat_wagen(zug8, wagen8_5).
wagen_nummer(wagen8_5, 5).
wagen_farbe(wagen8_5, blau).
wagen_laenge(wagen8_5, lang).
hat_wand(wagen8_5, voll).
hat_dach(wagen8_5, dach_fundament).
hat_rad(wagen8_5, 2).
hat_ladung(wagen8_5, blaue_box).
ladungs_nummer(wagen8_5, 3).
hat_fenster(wagen8_5, halb).
wagen_typ(wagen8_5, gueterwagen).
passagier_nummer(wagen8_5, 0).
hat_wagen(zug8, wagen8_6).
wagen_nummer(wagen8_6, 6).
wagen_farbe(wagen8_6, blau).
wagen_laenge(wagen8_6, lang).
hat_wand(wagen8_6, voll).
hat_dach(wagen8_6, keine).
hat_rad(wagen8_6, 3).
hat_ladung(wagen8_6, keine).
ladungs_nummer(wagen8_6, 0).
hat_fenster(wagen8_6, keine).
wagen_typ(wagen8_6, personenwagen).
passagier_nummer(wagen8_6, 8).

ost(zug9).
hat_wagen(zug9, wagen9_1).
wagen_nummer(wagen9_1, 1).
wagen_farbe(wagen9_1, weiss).
wagen_laenge(wagen9_1, lang).
hat_wand(wagen9_1, gelaender).
hat_dach(wagen9_1, keine).
hat_rad(wagen9_1, 2).
hat_ladung(wagen9_1, keine).
ladungs_nummer(wagen9_1, 0).
hat_fenster(wagen9_1, keine).
wagen_typ(wagen9_1, personenwagen).
passagier_nummer(wagen9_1, 6).
hat_wagen(zug9, wagen9_2).
wagen_nummer(wagen9_2, 2).
wagen_farbe(wagen9_2, gruen).
wagen_laenge(wagen9_2, kurz).
hat_wand(wagen9_2, voll).
hat_dach(wagen9_2, spitzdach).
hat_rad(wagen9_2, 2).
hat_ladung(wagen9_2, ovale_vase).
ladungs_nummer(wagen9_2, 1).
hat_fenster(wagen9_2, keine).
wagen_typ(wagen9_2, gueterwagen).
passagier_nummer(wagen9_2, 0).
hat_wagen(zug9, wagen9_3).
wagen_nummer(wagen9_3, 3).
wagen_farbe(wagen9_3, weiss).
wagen_laenge(wagen9_3, lang).
hat_wand(wagen9_3, gelaender).
hat_dach(wagen9_3, verstrebtes_dach).
hat_rad(wagen9_3, 2).
hat_ladung(wagen9_3, ovale_vase).
ladungs_nummer(wagen9_3, 2).
hat_fenster(wagen9_3, voll).
wagen_typ(wagen9_3, gueterwagen).
passagier_nummer(wagen9_3, 0).
hat_wagen(zug9, wagen9_4).
wagen_nummer(wagen9_4, 4).
wagen_farbe(wagen9_4, rot).
wagen_laenge(wagen9_4, kurz).
hat_wand(wagen9_4, voll).
hat_dach(wagen9_4, spitzdach).
hat_rad(wagen9_4, 2).
hat_ladung(wagen9_4, metall_topf).
ladungs_nummer(wagen9_4, 2).
hat_fenster(wagen9_4, keine).
wagen_typ(wagen9_4, gemischt).
passagier_nummer(wagen9_4, 6).
hat_wagen(zug9, wagen9_5).
wagen_nummer(wagen9_5, 5).
wagen_farbe(wagen9_5, blau).
wagen_laenge(wagen9_5, lang).
hat_wand(wagen9_5, voll).
hat_dach(wagen9_5, dach_fundament).
hat_rad(wagen9_5, 3).
hat_ladung(wagen9_5, blaue_box).
ladungs_nummer(wagen9_5, 3).
hat_fenster(wagen9_5, keine).
wagen_typ(wagen9_5, gueterwagen).
passagier_nummer(wagen9_5, 0).
hat_wagen(zug9, wagen9_6).
wagen_nummer(wagen9_6, 6).
wagen_farbe(wagen9_6, gelb).
wagen_laenge(wagen9_6, kurz).
hat_wand(wagen9_6, gelaender).
hat_dach(wagen9_6, spitzdach).
hat_rad(wagen9_6, 2).
hat_ladung(wagen9_6, keine).
ladungs_nummer(wagen9_6, 0).
hat_fenster(wagen9_6, voll).
wagen_typ(wagen9_6, gemischt).
passagier_nummer(wagen9_6, 0).

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

west(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, dach_fundament).
hat_rad(wagen11_1, 2).
hat_ladung(wagen11_1, keine).
ladungs_nummer(wagen11_1, 0).
hat_fenster(wagen11_1, keine).
wagen_typ(wagen11_1, gemischt).
passagier_nummer(wagen11_1, 2).
hat_wagen(zug11, wagen11_2).
wagen_nummer(wagen11_2, 2).
wagen_farbe(wagen11_2, rot).
wagen_laenge(wagen11_2, lang).
hat_wand(wagen11_2, voll).
hat_dach(wagen11_2, spitzdach).
hat_rad(wagen11_2, 3).
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, rot).
wagen_laenge(wagen11_3, lang).
hat_wand(wagen11_3, gelaender).
hat_dach(wagen11_3, dach_fundament).
hat_rad(wagen11_3, 3).
hat_ladung(wagen11_3, metall_topf).
ladungs_nummer(wagen11_3, 1).
hat_fenster(wagen11_3, halb).
wagen_typ(wagen11_3, gemischt).
passagier_nummer(wagen11_3, 5).
hat_wagen(zug11, wagen11_4).
wagen_nummer(wagen11_4, 4).
wagen_farbe(wagen11_4, gruen).
wagen_laenge(wagen11_4, kurz).
hat_wand(wagen11_4, voll).
hat_dach(wagen11_4, keine).
hat_rad(wagen11_4, 2).
hat_ladung(wagen11_4, fass).
ladungs_nummer(wagen11_4, 2).
hat_fenster(wagen11_4, voll).
wagen_typ(wagen11_4, gueterwagen).
passagier_nummer(wagen11_4, 0).
hat_wagen(zug11, wagen11_5).
wagen_nummer(wagen11_5, 5).
wagen_farbe(wagen11_5, weiss).
wagen_laenge(wagen11_5, kurz).
hat_wand(wagen11_5, gelaender).
hat_dach(wagen11_5, dach_fundament).
hat_rad(wagen11_5, 2).
hat_ladung(wagen11_5, diamant).
ladungs_nummer(wagen11_5, 2).
hat_fenster(wagen11_5, halb).
wagen_typ(wagen11_5, gemischt).
passagier_nummer(wagen11_5, 10).
hat_wagen(zug11, wagen11_6).
wagen_nummer(wagen11_6, 6).
wagen_farbe(wagen11_6, weiss).
wagen_laenge(wagen11_6, lang).
hat_wand(wagen11_6, gelaender).
hat_dach(wagen11_6, keine).
hat_rad(wagen11_6, 2).
hat_ladung(wagen11_6, blaue_box).
ladungs_nummer(wagen11_6, 1).
hat_fenster(wagen11_6, halb).
wagen_typ(wagen11_6, gemischt).
passagier_nummer(wagen11_6, 7).

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

west(zug13).
hat_wagen(zug13, wagen13_1).
wagen_nummer(wagen13_1, 1).
wagen_farbe(wagen13_1, blau).
wagen_laenge(wagen13_1, kurz).
hat_wand(wagen13_1, gelaender).
hat_dach(wagen13_1, festes_dach).
hat_rad(wagen13_1, 2).
hat_ladung(wagen13_1, keine).
ladungs_nummer(wagen13_1, 0).
hat_fenster(wagen13_1, voll).
wagen_typ(wagen13_1, personenwagen).
passagier_nummer(wagen13_1, 2).
hat_wagen(zug13, wagen13_2).
wagen_nummer(wagen13_2, 2).
wagen_farbe(wagen13_2, blau).
wagen_laenge(wagen13_2, kurz).
hat_wand(wagen13_2, voll).
hat_dach(wagen13_2, keine).
hat_rad(wagen13_2, 2).
hat_ladung(wagen13_2, keine).
ladungs_nummer(wagen13_2, 0).
hat_fenster(wagen13_2, keine).
wagen_typ(wagen13_2, personenwagen).
passagier_nummer(wagen13_2, 5).
hat_wagen(zug13, wagen13_3).
wagen_nummer(wagen13_3, 3).
wagen_farbe(wagen13_3, gelb).
wagen_laenge(wagen13_3, kurz).
hat_wand(wagen13_3, gelaender).
hat_dach(wagen13_3, verstrebtes_dach).
hat_rad(wagen13_3, 2).
hat_ladung(wagen13_3, keine).
ladungs_nummer(wagen13_3, 0).
hat_fenster(wagen13_3, voll).
wagen_typ(wagen13_3, gemischt).
passagier_nummer(wagen13_3, 0).
hat_wagen(zug13, wagen13_4).
wagen_nummer(wagen13_4, 4).
wagen_farbe(wagen13_4, rot).
wagen_laenge(wagen13_4, lang).
hat_wand(wagen13_4, voll).
hat_dach(wagen13_4, verstrebtes_dach).
hat_rad(wagen13_4, 2).
hat_ladung(wagen13_4, ovale_vase).
ladungs_nummer(wagen13_4, 1).
hat_fenster(wagen13_4, voll).
wagen_typ(wagen13_4, gueterwagen).
passagier_nummer(wagen13_4, 0).
hat_wagen(zug13, wagen13_5).
wagen_nummer(wagen13_5, 5).
wagen_farbe(wagen13_5, blau).
wagen_laenge(wagen13_5, lang).
hat_wand(wagen13_5, voll).
hat_dach(wagen13_5, spitzdach).
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, 5).

ost(zug14).
hat_wagen(zug14, wagen14_1).
wagen_nummer(wagen14_1, 1).
wagen_farbe(wagen14_1, weiss).
wagen_laenge(wagen14_1, kurz).
hat_wand(wagen14_1, voll).
hat_dach(wagen14_1, festes_dach).
hat_rad(wagen14_1, 2).
hat_ladung(wagen14_1, keine).
ladungs_nummer(wagen14_1, 0).
hat_fenster(wagen14_1, keine).
wagen_typ(wagen14_1, personenwagen).
passagier_nummer(wagen14_1, 8).
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, festes_dach).
hat_rad(wagen14_2, 2).
hat_ladung(wagen14_2, ovale_vase).
ladungs_nummer(wagen14_2, 1).
hat_fenster(wagen14_2, keine).
wagen_typ(wagen14_2, gueterwagen).
passagier_nummer(wagen14_2, 0).
hat_wagen(zug14, wagen14_3).
wagen_nummer(wagen14_3, 3).
wagen_farbe(wagen14_3, rot).
wagen_laenge(wagen14_3, kurz).
hat_wand(wagen14_3, voll).
hat_dach(wagen14_3, festes_dach).
hat_rad(wagen14_3, 2).
hat_ladung(wagen14_3, fass).
ladungs_nummer(wagen14_3, 2).
hat_fenster(wagen14_3, halb).
wagen_typ(wagen14_3, gemischt).
passagier_nummer(wagen14_3, 3).
hat_wagen(zug14, wagen14_4).
wagen_nummer(wagen14_4, 4).
wagen_farbe(wagen14_4, blau).
wagen_laenge(wagen14_4, lang).
hat_wand(wagen14_4, gelaender).
hat_dach(wagen14_4, keine).
hat_rad(wagen14_4, 3).
hat_ladung(wagen14_4, fass).
ladungs_nummer(wagen14_4, 3).
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, weiss).
wagen_laenge(wagen14_5, kurz).
hat_wand(wagen14_5, gelaender).
hat_dach(wagen14_5, festes_dach).
hat_rad(wagen14_5, 2).
hat_ladung(wagen14_5, goldene_vase).
ladungs_nummer(wagen14_5, 2).
hat_fenster(wagen14_5, voll).
wagen_typ(wagen14_5, gemischt).
passagier_nummer(wagen14_5, 9).
hat_wagen(zug14, wagen14_6).
wagen_nummer(wagen14_6, 6).
wagen_farbe(wagen14_6, rot).
wagen_laenge(wagen14_6, kurz).
hat_wand(wagen14_6, voll).
hat_dach(wagen14_6, verstrebtes_dach).
hat_rad(wagen14_6, 2).
hat_ladung(wagen14_6, goldene_vase).
ladungs_nummer(wagen14_6, 2).
hat_fenster(wagen14_6, halb).
wagen_typ(wagen14_6, gemischt).
passagier_nummer(wagen14_6, 0).

west(zug15).
hat_wagen(zug15, wagen15_1).
wagen_nummer(wagen15_1, 1).
wagen_farbe(wagen15_1, gelb).
wagen_laenge(wagen15_1, lang).
hat_wand(wagen15_1, voll).
hat_dach(wagen15_1, festes_dach).
hat_rad(wagen15_1, 3).
hat_ladung(wagen15_1, keine).
ladungs_nummer(wagen15_1, 0).
hat_fenster(wagen15_1, halb).
wagen_typ(wagen15_1, personenwagen).
passagier_nummer(wagen15_1, 9).
hat_wagen(zug15, wagen15_2).
wagen_nummer(wagen15_2, 2).
wagen_farbe(wagen15_2, gruen).
wagen_laenge(wagen15_2, kurz).
hat_wand(wagen15_2, gelaender).
hat_dach(wagen15_2, keine).
hat_rad(wagen15_2, 2).
hat_ladung(wagen15_2, blaue_box).
ladungs_nummer(wagen15_2, 2).
hat_fenster(wagen15_2, voll).
wagen_typ(wagen15_2, gemischt).
passagier_nummer(wagen15_2, 9).
hat_wagen(zug15, wagen15_3).
wagen_nummer(wagen15_3, 3).
wagen_farbe(wagen15_3, gelb).
wagen_laenge(wagen15_3, lang).
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, personenwagen).
passagier_nummer(wagen15_3, 7).
hat_wagen(zug15, wagen15_4).
wagen_nummer(wagen15_4, 4).
wagen_farbe(wagen15_4, blau).
wagen_laenge(wagen15_4, kurz).
hat_wand(wagen15_4, voll).
hat_dach(wagen15_4, verstrebtes_dach).
hat_rad(wagen15_4, 2).
hat_ladung(wagen15_4, keine).
ladungs_nummer(wagen15_4, 0).
hat_fenster(wagen15_4, voll).
wagen_typ(wagen15_4, personenwagen).
passagier_nummer(wagen15_4, 8).
hat_wagen(zug15, wagen15_5).
wagen_nummer(wagen15_5, 5).
wagen_farbe(wagen15_5, blau).
wagen_laenge(wagen15_5, lang).
hat_wand(wagen15_5, voll).
hat_dach(wagen15_5, festes_dach).
hat_rad(wagen15_5, 2).
hat_ladung(wagen15_5, keine).
ladungs_nummer(wagen15_5, 0).
hat_fenster(wagen15_5, voll).
wagen_typ(wagen15_5, personenwagen).
passagier_nummer(wagen15_5, 4).
hat_wagen(zug15, wagen15_6).
wagen_nummer(wagen15_6, 6).
wagen_farbe(wagen15_6, rot).
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, fass).
ladungs_nummer(wagen15_6, 1).
hat_fenster(wagen15_6, halb).
wagen_typ(wagen15_6, gueterwagen).
passagier_nummer(wagen15_6, 0).

west(zug16).
hat_wagen(zug16, wagen16_1).
wagen_nummer(wagen16_1, 1).
wagen_farbe(wagen16_1, gelb).
wagen_laenge(wagen16_1, kurz).
hat_wand(wagen16_1, voll).
hat_dach(wagen16_1, verstrebtes_dach).
hat_rad(wagen16_1, 2).
hat_ladung(wagen16_1, ovale_vase).
ladungs_nummer(wagen16_1, 2).
hat_fenster(wagen16_1, halb).
wagen_typ(wagen16_1, gemischt).
passagier_nummer(wagen16_1, 10).
hat_wagen(zug16, wagen16_2).
wagen_nummer(wagen16_2, 2).
wagen_farbe(wagen16_2, gelb).
wagen_laenge(wagen16_2, lang).
hat_wand(wagen16_2, voll).
hat_dach(wagen16_2, keine).
hat_rad(wagen16_2, 3).
hat_ladung(wagen16_2, keine).
ladungs_nummer(wagen16_2, 0).
hat_fenster(wagen16_2, halb).
wagen_typ(wagen16_2, personenwagen).
passagier_nummer(wagen16_2, 9).
hat_wagen(zug16, wagen16_3).
wagen_nummer(wagen16_3, 3).
wagen_farbe(wagen16_3, gruen).
wagen_laenge(wagen16_3, lang).
hat_wand(wagen16_3, voll).
hat_dach(wagen16_3, festes_dach).
hat_rad(wagen16_3, 2).
hat_ladung(wagen16_3, ovale_vase).
ladungs_nummer(wagen16_3, 1).
hat_fenster(wagen16_3, halb).
wagen_typ(wagen16_3, gemischt).
passagier_nummer(wagen16_3, 1).
hat_wagen(zug16, wagen16_4).
wagen_nummer(wagen16_4, 4).
wagen_farbe(wagen16_4, gruen).
wagen_laenge(wagen16_4, lang).
hat_wand(wagen16_4, voll).
hat_dach(wagen16_4, keine).
hat_rad(wagen16_4, 2).
hat_ladung(wagen16_4, goldene_vase).
ladungs_nummer(wagen16_4, 2).
hat_fenster(wagen16_4, keine).
wagen_typ(wagen16_4, gueterwagen).
passagier_nummer(wagen16_4, 0).
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, dach_fundament).
hat_rad(wagen16_5, 2).
hat_ladung(wagen16_5, blaue_box).
ladungs_nummer(wagen16_5, 2).
hat_fenster(wagen16_5, keine).
wagen_typ(wagen16_5, gemischt).
passagier_nummer(wagen16_5, 3).

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

west(zug18).
hat_wagen(zug18, wagen18_1).
wagen_nummer(wagen18_1, 1).
wagen_farbe(wagen18_1, rot).
wagen_laenge(wagen18_1, kurz).
hat_wand(wagen18_1, voll).
hat_dach(wagen18_1, festes_dach).
hat_rad(wagen18_1, 2).
hat_ladung(wagen18_1, keine).
ladungs_nummer(wagen18_1, 0).
hat_fenster(wagen18_1, voll).
wagen_typ(wagen18_1, personenwagen).
passagier_nummer(wagen18_1, 3).
hat_wagen(zug18, wagen18_2).
wagen_nummer(wagen18_2, 2).
wagen_farbe(wagen18_2, weiss).
wagen_laenge(wagen18_2, lang).
hat_wand(wagen18_2, voll).
hat_dach(wagen18_2, spitzdach).
hat_rad(wagen18_2, 3).
hat_ladung(wagen18_2, fass).
ladungs_nummer(wagen18_2, 2).
hat_fenster(wagen18_2, halb).
wagen_typ(wagen18_2, gueterwagen).
passagier_nummer(wagen18_2, 0).
hat_wagen(zug18, wagen18_3).
wagen_nummer(wagen18_3, 3).
wagen_farbe(wagen18_3, weiss).
wagen_laenge(wagen18_3, lang).
hat_wand(wagen18_3, voll).
hat_dach(wagen18_3, spitzdach).
hat_rad(wagen18_3, 2).
hat_ladung(wagen18_3, blaue_box).
ladungs_nummer(wagen18_3, 2).
hat_fenster(wagen18_3, voll).
wagen_typ(wagen18_3, gueterwagen).
passagier_nummer(wagen18_3, 0).
hat_wagen(zug18, wagen18_4).
wagen_nummer(wagen18_4, 4).
wagen_farbe(wagen18_4, blau).
wagen_laenge(wagen18_4, kurz).
hat_wand(wagen18_4, gelaender).
hat_dach(wagen18_4, dach_fundament).
hat_rad(wagen18_4, 2).
hat_ladung(wagen18_4, keine).
ladungs_nummer(wagen18_4, 0).
hat_fenster(wagen18_4, keine).
wagen_typ(wagen18_4, personenwagen).
passagier_nummer(wagen18_4, 1).
hat_wagen(zug18, wagen18_5).
wagen_nummer(wagen18_5, 5).
wagen_farbe(wagen18_5, gruen).
wagen_laenge(wagen18_5, lang).
hat_wand(wagen18_5, voll).
hat_dach(wagen18_5, dach_fundament).
hat_rad(wagen18_5, 3).
hat_ladung(wagen18_5, diamant).
ladungs_nummer(wagen18_5, 3).
hat_fenster(wagen18_5, keine).
wagen_typ(wagen18_5, gemischt).
passagier_nummer(wagen18_5, 2).
hat_wagen(zug18, wagen18_6).
wagen_nummer(wagen18_6, 6).
wagen_farbe(wagen18_6, gelb).
wagen_laenge(wagen18_6, kurz).
hat_wand(wagen18_6, gelaender).
hat_dach(wagen18_6, spitzdach).
hat_rad(wagen18_6, 2).
hat_ladung(wagen18_6, keine).
ladungs_nummer(wagen18_6, 0).
hat_fenster(wagen18_6, halb).
wagen_typ(wagen18_6, gemischt).
passagier_nummer(wagen18_6, 3).

ost(zug19).
hat_wagen(zug19, wagen19_1).
wagen_nummer(wagen19_1, 1).
wagen_farbe(wagen19_1, weiss).
wagen_laenge(wagen19_1, kurz).
hat_wand(wagen19_1, voll).
hat_dach(wagen19_1, festes_dach).
hat_rad(wagen19_1, 2).
hat_ladung(wagen19_1, ovale_vase).
ladungs_nummer(wagen19_1, 1).
hat_fenster(wagen19_1, halb).
wagen_typ(wagen19_1, gueterwagen).
passagier_nummer(wagen19_1, 0).
hat_wagen(zug19, wagen19_2).
wagen_nummer(wagen19_2, 2).
wagen_farbe(wagen19_2, blau).
wagen_laenge(wagen19_2, kurz).
hat_wand(wagen19_2, voll).
hat_dach(wagen19_2, keine).
hat_rad(wagen19_2, 2).
hat_ladung(wagen19_2, ovale_vase).
ladungs_nummer(wagen19_2, 2).
hat_fenster(wagen19_2, halb).
wagen_typ(wagen19_2, gemischt).
passagier_nummer(wagen19_2, 8).
hat_wagen(zug19, wagen19_3).
wagen_nummer(wagen19_3, 3).
wagen_farbe(wagen19_3, gelb).
wagen_laenge(wagen19_3, kurz).
hat_wand(wagen19_3, gelaender).
hat_dach(wagen19_3, verstrebtes_dach).
hat_rad(wagen19_3, 2).
hat_ladung(wagen19_3, keine).
ladungs_nummer(wagen19_3, 0).
hat_fenster(wagen19_3, keine).
wagen_typ(wagen19_3, personenwagen).
passagier_nummer(wagen19_3, 6).
hat_wagen(zug19, wagen19_4).
wagen_nummer(wagen19_4, 4).
wagen_farbe(wagen19_4, gelb).
wagen_laenge(wagen19_4, kurz).
hat_wand(wagen19_4, gelaender).
hat_dach(wagen19_4, dach_fundament).
hat_rad(wagen19_4, 2).
hat_ladung(wagen19_4, blaue_box).
ladungs_nummer(wagen19_4, 2).
hat_fenster(wagen19_4, halb).
wagen_typ(wagen19_4, gueterwagen).
passagier_nummer(wagen19_4, 0).
hat_wagen(zug19, wagen19_5).
wagen_nummer(wagen19_5, 5).
wagen_farbe(wagen19_5, weiss).
wagen_laenge(wagen19_5, lang).
hat_wand(wagen19_5, gelaender).
hat_dach(wagen19_5, festes_dach).
hat_rad(wagen19_5, 2).
hat_ladung(wagen19_5, keine).
ladungs_nummer(wagen19_5, 0).
hat_fenster(wagen19_5, keine).
wagen_typ(wagen19_5, personenwagen).
passagier_nummer(wagen19_5, 8).
hat_wagen(zug19, wagen19_6).
wagen_nummer(wagen19_6, 6).
wagen_farbe(wagen19_6, gelb).
wagen_laenge(wagen19_6, lang).
hat_wand(wagen19_6, voll).
hat_dach(wagen19_6, verstrebtes_dach).
hat_rad(wagen19_6, 3).
hat_ladung(wagen19_6, goldene_vase).
ladungs_nummer(wagen19_6, 1).
hat_fenster(wagen19_6, halb).
wagen_typ(wagen19_6, gueterwagen).
passagier_nummer(wagen19_6, 0).

ost(zug20).
hat_wagen(zug20, wagen20_1).
wagen_nummer(wagen20_1, 1).
wagen_farbe(wagen20_1, weiss).
wagen_laenge(wagen20_1, kurz).
hat_wand(wagen20_1, gelaender).
hat_dach(wagen20_1, keine).
hat_rad(wagen20_1, 2).
hat_ladung(wagen20_1, keine).
ladungs_nummer(wagen20_1, 0).
hat_fenster(wagen20_1, halb).
wagen_typ(wagen20_1, gueterwagen).
passagier_nummer(wagen20_1, 0).
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, keine).
hat_rad(wagen20_2, 2).
hat_ladung(wagen20_2, keine).
ladungs_nummer(wagen20_2, 0).
hat_fenster(wagen20_2, voll).
wagen_typ(wagen20_2, personenwagen).
passagier_nummer(wagen20_2, 10).
hat_wagen(zug20, wagen20_3).
wagen_nummer(wagen20_3, 3).
wagen_farbe(wagen20_3, blau).
wagen_laenge(wagen20_3, kurz).
hat_wand(wagen20_3, voll).
hat_dach(wagen20_3, verstrebtes_dach).
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, 7).
hat_wagen(zug20, wagen20_4).
wagen_nummer(wagen20_4, 4).
wagen_farbe(wagen20_4, rot).
wagen_laenge(wagen20_4, lang).
hat_wand(wagen20_4, voll).
hat_dach(wagen20_4, verstrebtes_dach).
hat_rad(wagen20_4, 3).
hat_ladung(wagen20_4, ovale_vase).
ladungs_nummer(wagen20_4, 1).
hat_fenster(wagen20_4, halb).
wagen_typ(wagen20_4, gueterwagen).
passagier_nummer(wagen20_4, 0).
hat_wagen(zug20, wagen20_5).
wagen_nummer(wagen20_5, 5).
wagen_farbe(wagen20_5, gruen).
wagen_laenge(wagen20_5, kurz).
hat_wand(wagen20_5, voll).
hat_dach(wagen20_5, keine).
hat_rad(wagen20_5, 2).
hat_ladung(wagen20_5, keine).
ladungs_nummer(wagen20_5, 0).
hat_fenster(wagen20_5, voll).
wagen_typ(wagen20_5, personenwagen).
passagier_nummer(wagen20_5, 2).

ost(zug21).
hat_wagen(zug21, wagen21_1).
wagen_nummer(wagen21_1, 1).
wagen_farbe(wagen21_1, weiss).
wagen_laenge(wagen21_1, lang).
hat_wand(wagen21_1, gelaender).
hat_dach(wagen21_1, spitzdach).
hat_rad(wagen21_1, 3).
hat_ladung(wagen21_1, blaue_box).
ladungs_nummer(wagen21_1, 2).
hat_fenster(wagen21_1, keine).
wagen_typ(wagen21_1, gueterwagen).
passagier_nummer(wagen21_1, 0).
hat_wagen(zug21, wagen21_2).
wagen_nummer(wagen21_2, 2).
wagen_farbe(wagen21_2, weiss).
wagen_laenge(wagen21_2, kurz).
hat_wand(wagen21_2, gelaender).
hat_dach(wagen21_2, spitzdach).
hat_rad(wagen21_2, 2).
hat_ladung(wagen21_2, keine).
ladungs_nummer(wagen21_2, 0).
hat_fenster(wagen21_2, keine).
wagen_typ(wagen21_2, personenwagen).
passagier_nummer(wagen21_2, 1).
hat_wagen(zug21, wagen21_3).
wagen_nummer(wagen21_3, 3).
wagen_farbe(wagen21_3, blau).
wagen_laenge(wagen21_3, kurz).
hat_wand(wagen21_3, voll).
hat_dach(wagen21_3, festes_dach).
hat_rad(wagen21_3, 2).
hat_ladung(wagen21_3, keine).
ladungs_nummer(wagen21_3, 0).
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, rot).
wagen_laenge(wagen21_4, lang).
hat_wand(wagen21_4, gelaender).
hat_dach(wagen21_4, festes_dach).
hat_rad(wagen21_4, 2).
hat_ladung(wagen21_4, keine).
ladungs_nummer(wagen21_4, 0).
hat_fenster(wagen21_4, voll).
wagen_typ(wagen21_4, personenwagen).
passagier_nummer(wagen21_4, 4).
hat_wagen(zug21, wagen21_5).
wagen_nummer(wagen21_5, 5).
wagen_farbe(wagen21_5, weiss).
wagen_laenge(wagen21_5, kurz).
hat_wand(wagen21_5, voll).
hat_dach(wagen21_5, spitzdach).
hat_rad(wagen21_5, 2).
hat_ladung(wagen21_5, keine).
ladungs_nummer(wagen21_5, 0).
hat_fenster(wagen21_5, voll).
wagen_typ(wagen21_5, personenwagen).
passagier_nummer(wagen21_5, 2).
hat_wagen(zug21, wagen21_6).
wagen_nummer(wagen21_6, 6).
wagen_farbe(wagen21_6, rot).
wagen_laenge(wagen21_6, lang).
hat_wand(wagen21_6, voll).
hat_dach(wagen21_6, keine).
hat_rad(wagen21_6, 3).
hat_ladung(wagen21_6, keine).
ladungs_nummer(wagen21_6, 0).
hat_fenster(wagen21_6, keine).
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, gelaender).
hat_dach(wagen22_1, keine).
hat_rad(wagen22_1, 2).
hat_ladung(wagen22_1, ovale_vase).
ladungs_nummer(wagen22_1, 2).
hat_fenster(wagen22_1, voll).
wagen_typ(wagen22_1, gueterwagen).
passagier_nummer(wagen22_1, 0).
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, dach_fundament).
hat_rad(wagen22_2, 3).
hat_ladung(wagen22_2, fass).
ladungs_nummer(wagen22_2, 2).
hat_fenster(wagen22_2, halb).
wagen_typ(wagen22_2, gemischt).
passagier_nummer(wagen22_2, 6).
hat_wagen(zug22, wagen22_3).
wagen_nummer(wagen22_3, 3).
wagen_farbe(wagen22_3, gruen).
wagen_laenge(wagen22_3, kurz).
hat_wand(wagen22_3, voll).
hat_dach(wagen22_3, dach_fundament).
hat_rad(wagen22_3, 2).
hat_ladung(wagen22_3, keine).
ladungs_nummer(wagen22_3, 0).
hat_fenster(wagen22_3, voll).
wagen_typ(wagen22_3, personenwagen).
passagier_nummer(wagen22_3, 4).
hat_wagen(zug22, wagen22_4).
wagen_nummer(wagen22_4, 4).
wagen_farbe(wagen22_4, gelb).
wagen_laenge(wagen22_4, kurz).
hat_wand(wagen22_4, voll).
hat_dach(wagen22_4, festes_dach).
hat_rad(wagen22_4, 2).
hat_ladung(wagen22_4, fass).
ladungs_nummer(wagen22_4, 1).
hat_fenster(wagen22_4, voll).
wagen_typ(wagen22_4, gemischt).
passagier_nummer(wagen22_4, 5).
hat_wagen(zug22, wagen22_5).
wagen_nummer(wagen22_5, 5).
wagen_farbe(wagen22_5, weiss).
wagen_laenge(wagen22_5, kurz).
hat_wand(wagen22_5, voll).
hat_dach(wagen22_5, dach_fundament).
hat_rad(wagen22_5, 2).
hat_ladung(wagen22_5, keine).
ladungs_nummer(wagen22_5, 0).
hat_fenster(wagen22_5, halb).
wagen_typ(wagen22_5, gueterwagen).
passagier_nummer(wagen22_5, 0).
hat_wagen(zug22, wagen22_6).
wagen_nummer(wagen22_6, 6).
wagen_farbe(wagen22_6, weiss).
wagen_laenge(wagen22_6, lang).
hat_wand(wagen22_6, voll).
hat_dach(wagen22_6, festes_dach).
hat_rad(wagen22_6, 2).
hat_ladung(wagen22_6, keine).
ladungs_nummer(wagen22_6, 0).
hat_fenster(wagen22_6, voll).
wagen_typ(wagen22_6, personenwagen).
passagier_nummer(wagen22_6, 8).

ost(zug23).
hat_wagen(zug23, wagen23_1).
wagen_nummer(wagen23_1, 1).
wagen_farbe(wagen23_1, gelb).
wagen_laenge(wagen23_1, lang).
hat_wand(wagen23_1, voll).
hat_dach(wagen23_1, keine).
hat_rad(wagen23_1, 3).
hat_ladung(wagen23_1, ovale_vase).
ladungs_nummer(wagen23_1, 3).
hat_fenster(wagen23_1, halb).
wagen_typ(wagen23_1, gemischt).
passagier_nummer(wagen23_1, 6).
hat_wagen(zug23, wagen23_2).
wagen_nummer(wagen23_2, 2).
wagen_farbe(wagen23_2, gruen).
wagen_laenge(wagen23_2, lang).
hat_wand(wagen23_2, voll).
hat_dach(wagen23_2, verstrebtes_dach).
hat_rad(wagen23_2, 2).
hat_ladung(wagen23_2, diamant).
ladungs_nummer(wagen23_2, 2).
hat_fenster(wagen23_2, halb).
wagen_typ(wagen23_2, gueterwagen).
passagier_nummer(wagen23_2, 0).
hat_wagen(zug23, wagen23_3).
wagen_nummer(wagen23_3, 3).
wagen_farbe(wagen23_3, blau).
wagen_laenge(wagen23_3, lang).
hat_wand(wagen23_3, gelaender).
hat_dach(wagen23_3, verstrebtes_dach).
hat_rad(wagen23_3, 3).
hat_ladung(wagen23_3, ovale_vase).
ladungs_nummer(wagen23_3, 1).
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, rot).
wagen_laenge(wagen23_4, kurz).
hat_wand(wagen23_4, gelaender).
hat_dach(wagen23_4, keine).
hat_rad(wagen23_4, 2).
hat_ladung(wagen23_4, keine).
ladungs_nummer(wagen23_4, 0).
hat_fenster(wagen23_4, voll).
wagen_typ(wagen23_4, personenwagen).
passagier_nummer(wagen23_4, 4).
hat_wagen(zug23, wagen23_5).
wagen_nummer(wagen23_5, 5).
wagen_farbe(wagen23_5, weiss).
wagen_laenge(wagen23_5, kurz).
hat_wand(wagen23_5, gelaender).
hat_dach(wagen23_5, spitzdach).
hat_rad(wagen23_5, 2).
hat_ladung(wagen23_5, keine).
ladungs_nummer(wagen23_5, 0).
hat_fenster(wagen23_5, keine).
wagen_typ(wagen23_5, gueterwagen).
passagier_nummer(wagen23_5, 0).
hat_wagen(zug23, wagen23_6).
wagen_nummer(wagen23_6, 6).
wagen_farbe(wagen23_6, gruen).
wagen_laenge(wagen23_6, lang).
hat_wand(wagen23_6, gelaender).
hat_dach(wagen23_6, spitzdach).
hat_rad(wagen23_6, 2).
hat_ladung(wagen23_6, keine).
ladungs_nummer(wagen23_6, 0).
hat_fenster(wagen23_6, voll).
wagen_typ(wagen23_6, personenwagen).
passagier_nummer(wagen23_6, 8).

ost(zug24).
hat_wagen(zug24, wagen24_1).
wagen_nummer(wagen24_1, 1).
wagen_farbe(wagen24_1, rot).
wagen_laenge(wagen24_1, kurz).
hat_wand(wagen24_1, voll).
hat_dach(wagen24_1, spitzdach).
hat_rad(wagen24_1, 2).
hat_ladung(wagen24_1, keine).
ladungs_nummer(wagen24_1, 0).
hat_fenster(wagen24_1, keine).
wagen_typ(wagen24_1, personenwagen).
passagier_nummer(wagen24_1, 10).
hat_wagen(zug24, wagen24_2).
wagen_nummer(wagen24_2, 2).
wagen_farbe(wagen24_2, rot).
wagen_laenge(wagen24_2, lang).
hat_wand(wagen24_2, gelaender).
hat_dach(wagen24_2, dach_fundament).
hat_rad(wagen24_2, 2).
hat_ladung(wagen24_2, keine).
ladungs_nummer(wagen24_2, 0).
hat_fenster(wagen24_2, keine).
wagen_typ(wagen24_2, personenwagen).
passagier_nummer(wagen24_2, 5).
hat_wagen(zug24, wagen24_3).
wagen_nummer(wagen24_3, 3).
wagen_farbe(wagen24_3, weiss).
wagen_laenge(wagen24_3, lang).
hat_wand(wagen24_3, gelaender).
hat_dach(wagen24_3, dach_fundament).
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, 7).
hat_wagen(zug24, wagen24_4).
wagen_nummer(wagen24_4, 4).
wagen_farbe(wagen24_4, gruen).
wagen_laenge(wagen24_4, lang).
hat_wand(wagen24_4, voll).
hat_dach(wagen24_4, verstrebtes_dach).
hat_rad(wagen24_4, 3).
hat_ladung(wagen24_4, diamant).
ladungs_nummer(wagen24_4, 3).
hat_fenster(wagen24_4, halb).
wagen_typ(wagen24_4, gemischt).
passagier_nummer(wagen24_4, 7).
hat_wagen(zug24, wagen24_5).
wagen_nummer(wagen24_5, 5).
wagen_farbe(wagen24_5, weiss).
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, voll).
wagen_typ(wagen24_5, personenwagen).
passagier_nummer(wagen24_5, 0).
hat_wagen(zug24, wagen24_6).
wagen_nummer(wagen24_6, 6).
wagen_farbe(wagen24_6, weiss).
wagen_laenge(wagen24_6, kurz).
hat_wand(wagen24_6, gelaender).
hat_dach(wagen24_6, keine).
hat_rad(wagen24_6, 2).
hat_ladung(wagen24_6, ovale_vase).
ladungs_nummer(wagen24_6, 2).
hat_fenster(wagen24_6, halb).
wagen_typ(wagen24_6, gemischt).
passagier_nummer(wagen24_6, 10).

ost(zug25).
hat_wagen(zug25, wagen25_1).
wagen_nummer(wagen25_1, 1).
wagen_farbe(wagen25_1, rot).
wagen_laenge(wagen25_1, lang).
hat_wand(wagen25_1, voll).
hat_dach(wagen25_1, keine).
hat_rad(wagen25_1, 2).
hat_ladung(wagen25_1, goldene_vase).
ladungs_nummer(wagen25_1, 3).
hat_fenster(wagen25_1, voll).
wagen_typ(wagen25_1, gueterwagen).
passagier_nummer(wagen25_1, 0).
hat_wagen(zug25, wagen25_2).
wagen_nummer(wagen25_2, 2).
wagen_farbe(wagen25_2, rot).
wagen_laenge(wagen25_2, lang).
hat_wand(wagen25_2, voll).
hat_dach(wagen25_2, dach_fundament).
hat_rad(wagen25_2, 2).
hat_ladung(wagen25_2, goldene_vase).
ladungs_nummer(wagen25_2, 3).
hat_fenster(wagen25_2, halb).
wagen_typ(wagen25_2, gueterwagen).
passagier_nummer(wagen25_2, 0).
hat_wagen(zug25, wagen25_3).
wagen_nummer(wagen25_3, 3).
wagen_farbe(wagen25_3, rot).
wagen_laenge(wagen25_3, kurz).
hat_wand(wagen25_3, voll).
hat_dach(wagen25_3, keine).
hat_rad(wagen25_3, 2).
hat_ladung(wagen25_3, ovale_vase).
ladungs_nummer(wagen25_3, 2).
hat_fenster(wagen25_3, keine).
wagen_typ(wagen25_3, gueterwagen).
passagier_nummer(wagen25_3, 0).
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, festes_dach).
hat_rad(wagen25_4, 3).
hat_ladung(wagen25_4, goldene_vase).
ladungs_nummer(wagen25_4, 2).
hat_fenster(wagen25_4, halb).
wagen_typ(wagen25_4, gueterwagen).
passagier_nummer(wagen25_4, 0).
hat_wagen(zug25, wagen25_5).
wagen_nummer(wagen25_5, 5).
wagen_farbe(wagen25_5, rot).
wagen_laenge(wagen25_5, lang).
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, 3).
hat_wagen(zug25, wagen25_6).
wagen_nummer(wagen25_6, 6).
wagen_farbe(wagen25_6, weiss).
wagen_laenge(wagen25_6, lang).
hat_wand(wagen25_6, voll).
hat_dach(wagen25_6, festes_dach).
hat_rad(wagen25_6, 3).
hat_ladung(wagen25_6, keine).
ladungs_nummer(wagen25_6, 0).
hat_fenster(wagen25_6, voll).
wagen_typ(wagen25_6, personenwagen).
passagier_nummer(wagen25_6, 1).

ost(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, 2).
hat_ladung(wagen26_1, ovale_vase).
ladungs_nummer(wagen26_1, 1).
hat_fenster(wagen26_1, voll).
wagen_typ(wagen26_1, gemischt).
passagier_nummer(wagen26_1, 1).
hat_wagen(zug26, wagen26_2).
wagen_nummer(wagen26_2, 2).
wagen_farbe(wagen26_2, gelb).
wagen_laenge(wagen26_2, kurz).
hat_wand(wagen26_2, gelaender).
hat_dach(wagen26_2, festes_dach).
hat_rad(wagen26_2, 2).
hat_ladung(wagen26_2, fass).
ladungs_nummer(wagen26_2, 1).
hat_fenster(wagen26_2, voll).
wagen_typ(wagen26_2, gueterwagen).
passagier_nummer(wagen26_2, 0).
hat_wagen(zug26, wagen26_3).
wagen_nummer(wagen26_3, 3).
wagen_farbe(wagen26_3, weiss).
wagen_laenge(wagen26_3, lang).
hat_wand(wagen26_3, gelaender).
hat_dach(wagen26_3, keine).
hat_rad(wagen26_3, 2).
hat_ladung(wagen26_3, fass).
ladungs_nummer(wagen26_3, 3).
hat_fenster(wagen26_3, keine).
wagen_typ(wagen26_3, gueterwagen).
passagier_nummer(wagen26_3, 0).
hat_wagen(zug26, wagen26_4).
wagen_nummer(wagen26_4, 4).
wagen_farbe(wagen26_4, gelb).
wagen_laenge(wagen26_4, kurz).
hat_wand(wagen26_4, voll).
hat_dach(wagen26_4, verstrebtes_dach).
hat_rad(wagen26_4, 2).
hat_ladung(wagen26_4, keine).
ladungs_nummer(wagen26_4, 0).
hat_fenster(wagen26_4, keine).
wagen_typ(wagen26_4, personenwagen).
passagier_nummer(wagen26_4, 3).
hat_wagen(zug26, wagen26_5).
wagen_nummer(wagen26_5, 5).
wagen_farbe(wagen26_5, gruen).
wagen_laenge(wagen26_5, lang).
hat_wand(wagen26_5, voll).
hat_dach(wagen26_5, festes_dach).
hat_rad(wagen26_5, 3).
hat_ladung(wagen26_5, metall_topf).
ladungs_nummer(wagen26_5, 2).
hat_fenster(wagen26_5, voll).
wagen_typ(wagen26_5, gueterwagen).
passagier_nummer(wagen26_5, 0).

ost(zug27).
hat_wagen(zug27, wagen27_1).
wagen_nummer(wagen27_1, 1).
wagen_farbe(wagen27_1, gruen).
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, keine).
wagen_typ(wagen27_1, personenwagen).
passagier_nummer(wagen27_1, 10).
hat_wagen(zug27, wagen27_2).
wagen_nummer(wagen27_2, 2).
wagen_farbe(wagen27_2, weiss).
wagen_laenge(wagen27_2, kurz).
hat_wand(wagen27_2, voll).
hat_dach(wagen27_2, verstrebtes_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, 6).
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, spitzdach).
hat_rad(wagen27_3, 2).
hat_ladung(wagen27_3, blaue_box).
ladungs_nummer(wagen27_3, 1).
hat_fenster(wagen27_3, halb).
wagen_typ(wagen27_3, gemischt).
passagier_nummer(wagen27_3, 4).
hat_wagen(zug27, wagen27_4).
wagen_nummer(wagen27_4, 4).
wagen_farbe(wagen27_4, rot).
wagen_laenge(wagen27_4, kurz).
hat_wand(wagen27_4, voll).
hat_dach(wagen27_4, dach_fundament).
hat_rad(wagen27_4, 2).
hat_ladung(wagen27_4, keine).
ladungs_nummer(wagen27_4, 0).
hat_fenster(wagen27_4, keine).
wagen_typ(wagen27_4, personenwagen).
passagier_nummer(wagen27_4, 3).
hat_wagen(zug27, wagen27_5).
wagen_nummer(wagen27_5, 5).
wagen_farbe(wagen27_5, rot).
wagen_laenge(wagen27_5, kurz).
hat_wand(wagen27_5, gelaender).
hat_dach(wagen27_5, dach_fundament).
hat_rad(wagen27_5, 2).
hat_ladung(wagen27_5, keine).
ladungs_nummer(wagen27_5, 0).
hat_fenster(wagen27_5, halb).
wagen_typ(wagen27_5, personenwagen).
passagier_nummer(wagen27_5, 3).


west 192 1 rot lang voll verstrebtes_dach 3 blaue_box 3 voll gueterwagen 0 2 blau kurz gelaender dach_fundament 2 diamant 2 halb gemischt 10 3 gelb lang voll keine 2 metall_topf 3 keine gemischt 8 4 gelb lang gelaender festes_dach 2 keine 0 halb personenwagen 5 5 gelb kurz voll festes_dach 2 keine 0 halb personenwagen 5
west -37 1 rot lang voll verstrebtes_dach 3 keine 0 keine personenwagen 10 2 blau kurz voll festes_dach 2 keine 0 voll gemischt 8 3 blau lang gelaender verstrebtes_dach 3 keine 0 halb personenwagen 10 4 gruen lang gelaender spitzdach 3 keine 0 voll gemischt 8 5 gelb kurz voll verstrebtes_dach 2 keine 0 keine personenwagen 9
west 235 1 gelb kurz voll festes_dach 2 fass 1 voll gueterwagen 0 2 rot lang voll spitzdach 3 keine 0 keine personenwagen 10 3 rot kurz gelaender festes_dach 2 fass 1 voll gemischt 7 4 rot kurz gelaender keine 2 keine 0 keine personenwagen 0 5 blau lang voll verstrebtes_dach 3 blaue_box 2 voll gueterwagen 0 6 rot kurz gelaender verstrebtes_dach 2 keine 0 keine gemischt 0
west -11 1 gruen lang gelaender festes_dach 2 keine 0 keine gemischt 2 2 gelb kurz voll festes_dach 2 diamant 2 keine gemischt 5 3 rot kurz gelaender verstrebtes_dach 2 diamant 2 keine gemischt 1 4 rot kurz voll verstrebtes_dach 2 keine 0 voll personenwagen 0 5 gelb kurz voll festes_dach 2 goldene_vase 2 voll gemischt 8 6 gelb kurz voll dach_fundament 2 keine 0 halb personenwagen 7
ost 176 1 rot lang voll festes_dach 2 keine 0 halb personenwagen 5 2 gelb lang voll verstrebtes_dach 2 keine 0 halb personenwagen 10 3 gruen lang voll spitzdach 2 fass 1 voll gueterwagen 0 4 weiss lang gelaender festes_dach 3 fass 1 voll gemischt 5 5 rot kurz gelaender dach_fundament 2 goldene_vase 1 halb gemischt 4
west 238 1 blau lang gelaender dach_fundament 2 keine 0 voll personenwagen 9 2 rot lang voll festes_dach 3 keine 0 halb gueterwagen 0 3 rot kurz voll spitzdach 2 ovale_vase 1 halb gueterwagen 0 4 blau kurz voll dach_fundament 2 fass 1 keine gemischt 6 5 gruen kurz voll keine 2 blaue_box 2 voll gemischt 4
west 16 1 gruen kurz gelaender spitzdach 2 keine 0 keine gueterwagen 0 2 gelb kurz gelaender keine 2 keine 0 halb personenwagen 5 3 gruen kurz gelaender keine 2 keine 0 keine personenwagen 10 4 blau kurz gelaender verstrebtes_dach 2 fass 2 halb gemischt 9 5 rot lang gelaender dach_fundament 2 keine 0 voll personenwagen 1 6 gruen kurz gelaender verstrebtes_dach 2 goldene_vase 2 keine gueterwagen 0
ost -45 1 gelb lang voll spitzdach 2 keine 0 keine gemischt 8 2 weiss lang gelaender festes_dach 3 keine 0 halb gueterwagen 0 3 weiss kurz gelaender festes_dach 2 goldene_vase 2 halb gemischt 4 4 blau kurz gelaender verstrebtes_dach 2 keine 0 voll gueterwagen 0 5 blau lang voll dach_fundament 2 keine 0 voll personenwagen 6 6 gruen lang gelaender keine 2 diamant 3 voll gueterwagen 0
west -57 1 blau kurz gelaender festes_dach 2 keine 0 voll personenwagen 5 2 weiss kurz gelaender keine 2 blaue_box 1 keine gemischt 7 3 gruen kurz voll festes_dach 2 keine 0 halb personenwagen 6 4 gelb kurz voll keine 2 ovale_vase 1 keine gemischt 7 5 blau lang voll dach_fundament 2 blaue_box 3 halb gueterwagen 0 6 blau lang voll keine 3 keine 0 keine personenwagen 8
ost 53 1 weiss lang gelaender keine 2 keine 0 keine personenwagen 6 2 gruen kurz voll spitzdach 2 ovale_vase 1 keine gueterwagen 0 3 weiss lang gelaender verstrebtes_dach 2 ovale_vase 2 voll gueterwagen 0 4 rot kurz voll spitzdach 2 metall_topf 2 keine gemischt 6 5 blau lang voll dach_fundament 3 blaue_box 3 keine gueterwagen 0 6 gelb kurz gelaender spitzdach 2 keine 0 voll gemischt 0
west 179 1 rot lang voll keine 2 blaue_box 3 keine gueterwagen 0 2 gelb kurz gelaender spitzdach 2 metall_topf 1 voll gemischt 1 3 rot lang gelaender festes_dach 2 metall_topf 1 halb gueterwagen 0 4 blau lang voll spitzdach 2 metall_topf 1 voll gemischt 6 5 blau kurz gelaender spitzdach 2 keine 0 keine personenwagen 5
west 16 1 gruen kurz voll dach_fundament 2 keine 0 keine gemischt 2 2 rot lang voll spitzdach 3 keine 0 halb personenwagen 10 3 rot lang gelaender dach_fundament 3 metall_topf 1 halb gemischt 5 4 gruen kurz voll keine 2 fass 2 voll gueterwagen 0 5 weiss kurz gelaender dach_fundament 2 diamant 2 halb gemischt 10 6 weiss lang gelaender keine 2 blaue_box 1 halb gemischt 7
ost 193 1 weiss lang voll keine 2 keine 0 halb personenwagen 2 2 rot kurz voll dach_fundament 2 keine 0 halb gueterwagen 0 3 gruen lang gelaender festes_dach 2 fass 2 halb gemischt 6 4 blau lang voll dach_fundament 3 ovale_vase 1 voll gueterwagen 0 5 weiss kurz gelaender dach_fundament 2 keine 0 keine personenwagen 9
west 35 1 blau kurz gelaender festes_dach 2 keine 0 voll personenwagen 2 2 blau kurz voll keine 2 keine 0 keine personenwagen 5 3 gelb kurz gelaender verstrebtes_dach 2 keine 0 voll gemischt 0 4 rot lang voll verstrebtes_dach 2 ovale_vase 1 voll gueterwagen 0 5 blau lang voll spitzdach 3 keine 0 voll personenwagen 5
ost 22 1 weiss kurz voll festes_dach 2 keine 0 keine personenwagen 8 2 gruen lang voll festes_dach 2 ovale_vase 1 keine gueterwagen 0 3 rot kurz voll festes_dach 2 fass 2 halb gemischt 3 4 blau lang gelaender keine 3 fass 3 voll gueterwagen 0 5 weiss kurz gelaender festes_dach 2 goldene_vase 2 voll gemischt 9 6 rot kurz voll verstrebtes_dach 2 goldene_vase 2 halb gemischt 0
west -45 1 gelb lang voll festes_dach 3 keine 0 halb personenwagen 9 2 gruen kurz gelaender keine 2 blaue_box 2 voll gemischt 9 3 gelb lang voll festes_dach 2 keine 0 keine personenwagen 7 4 blau kurz voll verstrebtes_dach 2 keine 0 voll personenwagen 8 5 blau lang voll festes_dach 2 keine 0 voll personenwagen 4 6 rot kurz gelaender verstrebtes_dach 2 fass 1 halb gueterwagen 0
west -29 1 gelb kurz voll verstrebtes_dach 2 ovale_vase 2 halb gemischt 10 2 gelb lang voll keine 3 keine 0 halb personenwagen 9 3 gruen lang voll festes_dach 2 ovale_vase 1 halb gemischt 1 4 gruen lang voll keine 2 goldene_vase 2 keine gueterwagen 0 5 gelb lang voll dach_fundament 2 blaue_box 2 keine gemischt 3
west -60 1 rot kurz gelaender dach_fundament 2 ovale_vase 2 halb gemischt 0 2 rot lang gelaender dach_fundament 2 metall_topf 3 keine gueterwagen 0 3 rot kurz gelaender dach_fundament 2 goldene_vase 1 halb gueterwagen 0 4 weiss lang voll spitzdach 2 keine 0 keine gemischt 1 5 gruen lang voll festes_dach 2 blaue_box 2 voll gueterwagen 0 6 gruen kurz gelaender dach_fundament 2 keine 0 halb gemischt 10
west 2 1 rot kurz voll festes_dach 2 keine 0 voll personenwagen 3 2 weiss lang voll spitzdach 3 fass 2 halb gueterwagen 0 3 weiss lang voll spitzdach 2 blaue_box 2 voll gueterwagen 0 4 blau kurz gelaender dach_fundament 2 keine 0 keine personenwagen 1 5 gruen lang voll dach_fundament 3 diamant 3 keine gemischt 2 6 gelb kurz gelaender spitzdach 2 keine 0 halb gemischt 3
ost 224 1 weiss kurz voll festes_dach 2 ovale_vase 1 halb gueterwagen 0 2 blau kurz voll keine 2 ovale_vase 2 halb gemischt 8 3 gelb kurz gelaender verstrebtes_dach 2 keine 0 keine personenwagen 6 4 gelb kurz gelaender dach_fundament 2 blaue_box 2 halb gueterwagen 0 5 weiss lang gelaender festes_dach 2 keine 0 keine personenwagen 8 6 gelb lang voll verstrebtes_dach 3 goldene_vase 1 halb gueterwagen 0
ost 38 1 weiss kurz gelaender keine 2 keine 0 halb gueterwagen 0 2 blau kurz voll keine 2 keine 0 voll personenwagen 10 3 blau kurz voll verstrebtes_dach 2 keine 0 halb personenwagen 7 4 rot lang voll verstrebtes_dach 3 ovale_vase 1 halb gueterwagen 0 5 gruen kurz voll keine 2 keine 0 voll personenwagen 2
ost 218 1 weiss lang gelaender spitzdach 3 blaue_box 2 keine gueterwagen 0 2 weiss kurz gelaender spitzdach 2 keine 0 keine personenwagen 1 3 blau kurz voll festes_dach 2 keine 0 voll gueterwagen 0 4 rot lang gelaender festes_dach 2 keine 0 voll personenwagen 4 5 weiss kurz voll spitzdach 2 keine 0 voll personenwagen 2 6 rot lang voll keine 3 keine 0 keine gueterwagen 0
ost 208 1 blau kurz gelaender keine 2 ovale_vase 2 voll gueterwagen 0 2 gruen lang gelaender dach_fundament 3 fass 2 halb gemischt 6 3 gruen kurz voll dach_fundament 2 keine 0 voll personenwagen 4 4 gelb kurz voll festes_dach 2 fass 1 voll gemischt 5 5 weiss kurz voll dach_fundament 2 keine 0 halb gueterwagen 0 6 weiss lang voll festes_dach 2 keine 0 voll personenwagen 8
ost -25 1 gelb lang voll keine 3 ovale_vase 3 halb gemischt 6 2 gruen lang voll verstrebtes_dach 2 diamant 2 halb gueterwagen 0 3 blau lang gelaender verstrebtes_dach 3 ovale_vase 1 halb gueterwagen 0 4 rot kurz gelaender keine 2 keine 0 voll personenwagen 4 5 weiss kurz gelaender spitzdach 2 keine 0 keine gueterwagen 0 6 gruen lang gelaender spitzdach 2 keine 0 voll personenwagen 8
ost 28 1 rot kurz voll spitzdach 2 keine 0 keine personenwagen 10 2 rot lang gelaender dach_fundament 2 keine 0 keine personenwagen 5 3 weiss lang gelaender dach_fundament 2 keine 0 keine personenwagen 7 4 gruen lang voll verstrebtes_dach 3 diamant 3 halb gemischt 7 5 weiss lang gelaender spitzdach 2 keine 0 voll personenwagen 0 6 weiss kurz gelaender keine 2 ovale_vase 2 halb gemischt 10
ost 229 1 rot lang voll keine 2 goldene_vase 3 voll gueterwagen 0 2 rot lang voll dach_fundament 2 goldene_vase 3 halb gueterwagen 0 3 rot kurz voll keine 2 ovale_vase 2 keine gueterwagen 0 4 weiss lang voll festes_dach 3 goldene_vase 2 halb gueterwagen 0 5 rot lang gelaender keine 2 keine 0 keine personenwagen 3 6 weiss lang voll festes_dach 3 keine 0 voll personenwagen 1
ost 147 1 blau lang voll dach_fundament 2 ovale_vase 1 voll gemischt 1 2 gelb kurz gelaender festes_dach 2 fass 1 voll gueterwagen 0 3 weiss lang gelaender keine 2 fass 3 keine gueterwagen 0 4 gelb kurz voll verstrebtes_dach 2 keine 0 keine personenwagen 3 5 gruen lang voll festes_dach 3 metall_topf 2 voll gueterwagen 0
ost -11 1 gruen lang gelaender keine 3 keine 0 keine personenwagen 10 2 weiss kurz voll verstrebtes_dach 2 keine 0 keine personenwagen 6 3 rot kurz gelaender spitzdach 2 blaue_box 1 halb gemischt 4 4 rot kurz voll dach_fundament 2 keine 0 keine personenwagen 3 5 rot kurz gelaender dach_fundament 2 keine 0 halb personenwagen 3