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.

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

west(zug0).
hat_wagen(zug0, wagen0_1).
wagen_nummer(wagen0_1, 1).
wagen_farbe(wagen0_1, gelb).
wagen_laenge(wagen0_1, kurz).
hat_wand(wagen0_1, gelaender).
hat_dach(wagen0_1, verstrebtes_dach).
hat_rad(wagen0_1, 2).
hat_ladung(wagen0_1, metall_topf).
ladungs_nummer(wagen0_1, 1).
hat_fenster(wagen0_1, keine).
hat_wagen(zug0, wagen0_2).
wagen_nummer(wagen0_2, 2).
wagen_farbe(wagen0_2, rot).
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, keine).
ladungs_nummer(wagen0_2, 0).
hat_fenster(wagen0_2, halb).
hat_wagen(zug0, wagen0_3).
wagen_nummer(wagen0_3, 3).
wagen_farbe(wagen0_3, blau).
wagen_laenge(wagen0_3, lang).
hat_wand(wagen0_3, voll).
hat_dach(wagen0_3, keine).
hat_rad(wagen0_3, 3).
hat_ladung(wagen0_3, ovale_vase).
ladungs_nummer(wagen0_3, 1).
hat_fenster(wagen0_3, voll).
hat_wagen(zug0, wagen0_4).
wagen_nummer(wagen0_4, 4).
wagen_farbe(wagen0_4, blau).
wagen_laenge(wagen0_4, kurz).
hat_wand(wagen0_4, gelaender).
hat_dach(wagen0_4, spitzdach).
hat_rad(wagen0_4, 2).
hat_ladung(wagen0_4, goldene_vase).
ladungs_nummer(wagen0_4, 2).
hat_fenster(wagen0_4, keine).
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, goldene_vase).
ladungs_nummer(wagen0_5, 1).
hat_fenster(wagen0_5, voll).

west(zug1).
hat_wagen(zug1, wagen1_1).
wagen_nummer(wagen1_1, 1).
wagen_farbe(wagen1_1, blau).
wagen_laenge(wagen1_1, lang).
hat_wand(wagen1_1, gelaender).
hat_dach(wagen1_1, festes_dach).
hat_rad(wagen1_1, 2).
hat_ladung(wagen1_1, blaue_box).
ladungs_nummer(wagen1_1, 2).
hat_fenster(wagen1_1, keine).
hat_wagen(zug1, wagen1_2).
wagen_nummer(wagen1_2, 2).
wagen_farbe(wagen1_2, rot).
wagen_laenge(wagen1_2, lang).
hat_wand(wagen1_2, gelaender).
hat_dach(wagen1_2, keine).
hat_rad(wagen1_2, 2).
hat_ladung(wagen1_2, keine).
ladungs_nummer(wagen1_2, 0).
hat_fenster(wagen1_2, keine).
hat_wagen(zug1, wagen1_3).
wagen_nummer(wagen1_3, 3).
wagen_farbe(wagen1_3, blau).
wagen_laenge(wagen1_3, lang).
hat_wand(wagen1_3, voll).
hat_dach(wagen1_3, dach_fundament).
hat_rad(wagen1_3, 3).
hat_ladung(wagen1_3, keine).
ladungs_nummer(wagen1_3, 0).
hat_fenster(wagen1_3, keine).
hat_wagen(zug1, wagen1_4).
wagen_nummer(wagen1_4, 4).
wagen_farbe(wagen1_4, blau).
wagen_laenge(wagen1_4, kurz).
hat_wand(wagen1_4, gelaender).
hat_dach(wagen1_4, keine).
hat_rad(wagen1_4, 2).
hat_ladung(wagen1_4, diamant).
ladungs_nummer(wagen1_4, 2).
hat_fenster(wagen1_4, halb).
hat_wagen(zug1, wagen1_5).
wagen_nummer(wagen1_5, 5).
wagen_farbe(wagen1_5, blau).
wagen_laenge(wagen1_5, lang).
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).
hat_wagen(zug1, wagen1_6).
wagen_nummer(wagen1_6, 6).
wagen_farbe(wagen1_6, weiss).
wagen_laenge(wagen1_6, lang).
hat_wand(wagen1_6, gelaender).
hat_dach(wagen1_6, keine).
hat_rad(wagen1_6, 2).
hat_ladung(wagen1_6, ovale_vase).
ladungs_nummer(wagen1_6, 3).
hat_fenster(wagen1_6, halb).

west(zug2).
hat_wagen(zug2, wagen2_1).
wagen_nummer(wagen2_1, 1).
wagen_farbe(wagen2_1, rot).
wagen_laenge(wagen2_1, lang).
hat_wand(wagen2_1, voll).
hat_dach(wagen2_1, festes_dach).
hat_rad(wagen2_1, 3).
hat_ladung(wagen2_1, metall_topf).
ladungs_nummer(wagen2_1, 3).
hat_fenster(wagen2_1, keine).
hat_wagen(zug2, wagen2_2).
wagen_nummer(wagen2_2, 2).
wagen_farbe(wagen2_2, gelb).
wagen_laenge(wagen2_2, lang).
hat_wand(wagen2_2, gelaender).
hat_dach(wagen2_2, verstrebtes_dach).
hat_rad(wagen2_2, 3).
hat_ladung(wagen2_2, fass).
ladungs_nummer(wagen2_2, 3).
hat_fenster(wagen2_2, keine).
hat_wagen(zug2, wagen2_3).
wagen_nummer(wagen2_3, 3).
wagen_farbe(wagen2_3, gelb).
wagen_laenge(wagen2_3, lang).
hat_wand(wagen2_3, voll).
hat_dach(wagen2_3, dach_fundament).
hat_rad(wagen2_3, 2).
hat_ladung(wagen2_3, keine).
ladungs_nummer(wagen2_3, 0).
hat_fenster(wagen2_3, voll).
hat_wagen(zug2, wagen2_4).
wagen_nummer(wagen2_4, 4).
wagen_farbe(wagen2_4, gruen).
wagen_laenge(wagen2_4, kurz).
hat_wand(wagen2_4, voll).
hat_dach(wagen2_4, dach_fundament).
hat_rad(wagen2_4, 2).
hat_ladung(wagen2_4, blaue_box).
ladungs_nummer(wagen2_4, 1).
hat_fenster(wagen2_4, voll).
hat_wagen(zug2, wagen2_5).
wagen_nummer(wagen2_5, 5).
wagen_farbe(wagen2_5, weiss).
wagen_laenge(wagen2_5, lang).
hat_wand(wagen2_5, gelaender).
hat_dach(wagen2_5, keine).
hat_rad(wagen2_5, 2).
hat_ladung(wagen2_5, ovale_vase).
ladungs_nummer(wagen2_5, 2).
hat_fenster(wagen2_5, voll).

west(zug3).
hat_wagen(zug3, wagen3_1).
wagen_nummer(wagen3_1, 1).
wagen_farbe(wagen3_1, weiss).
wagen_laenge(wagen3_1, lang).
hat_wand(wagen3_1, voll).
hat_dach(wagen3_1, spitzdach).
hat_rad(wagen3_1, 3).
hat_ladung(wagen3_1, keine).
ladungs_nummer(wagen3_1, 0).
hat_fenster(wagen3_1, keine).
hat_wagen(zug3, wagen3_2).
wagen_nummer(wagen3_2, 2).
wagen_farbe(wagen3_2, gelb).
wagen_laenge(wagen3_2, lang).
hat_wand(wagen3_2, gelaender).
hat_dach(wagen3_2, spitzdach).
hat_rad(wagen3_2, 2).
hat_ladung(wagen3_2, ovale_vase).
ladungs_nummer(wagen3_2, 3).
hat_fenster(wagen3_2, keine).
hat_wagen(zug3, wagen3_3).
wagen_nummer(wagen3_3, 3).
wagen_farbe(wagen3_3, weiss).
wagen_laenge(wagen3_3, lang).
hat_wand(wagen3_3, voll).
hat_dach(wagen3_3, verstrebtes_dach).
hat_rad(wagen3_3, 2).
hat_ladung(wagen3_3, goldene_vase).
ladungs_nummer(wagen3_3, 3).
hat_fenster(wagen3_3, halb).
hat_wagen(zug3, wagen3_4).
wagen_nummer(wagen3_4, 4).
wagen_farbe(wagen3_4, blau).
wagen_laenge(wagen3_4, lang).
hat_wand(wagen3_4, gelaender).
hat_dach(wagen3_4, festes_dach).
hat_rad(wagen3_4, 2).
hat_ladung(wagen3_4, goldene_vase).
ladungs_nummer(wagen3_4, 3).
hat_fenster(wagen3_4, voll).
hat_wagen(zug3, wagen3_5).
wagen_nummer(wagen3_5, 5).
wagen_farbe(wagen3_5, blau).
wagen_laenge(wagen3_5, lang).
hat_wand(wagen3_5, gelaender).
hat_dach(wagen3_5, verstrebtes_dach).
hat_rad(wagen3_5, 2).
hat_ladung(wagen3_5, ovale_vase).
ladungs_nummer(wagen3_5, 1).
hat_fenster(wagen3_5, voll).

west(zug4).
hat_wagen(zug4, wagen4_1).
wagen_nummer(wagen4_1, 1).
wagen_farbe(wagen4_1, gruen).
wagen_laenge(wagen4_1, kurz).
hat_wand(wagen4_1, gelaender).
hat_dach(wagen4_1, festes_dach).
hat_rad(wagen4_1, 2).
hat_ladung(wagen4_1, diamant).
ladungs_nummer(wagen4_1, 2).
hat_fenster(wagen4_1, halb).
hat_wagen(zug4, wagen4_2).
wagen_nummer(wagen4_2, 2).
wagen_farbe(wagen4_2, weiss).
wagen_laenge(wagen4_2, lang).
hat_wand(wagen4_2, gelaender).
hat_dach(wagen4_2, keine).
hat_rad(wagen4_2, 2).
hat_ladung(wagen4_2, goldene_vase).
ladungs_nummer(wagen4_2, 2).
hat_fenster(wagen4_2, voll).
hat_wagen(zug4, wagen4_3).
wagen_nummer(wagen4_3, 3).
wagen_farbe(wagen4_3, gelb).
wagen_laenge(wagen4_3, lang).
hat_wand(wagen4_3, voll).
hat_dach(wagen4_3, festes_dach).
hat_rad(wagen4_3, 3).
hat_ladung(wagen4_3, fass).
ladungs_nummer(wagen4_3, 3).
hat_fenster(wagen4_3, halb).
hat_wagen(zug4, wagen4_4).
wagen_nummer(wagen4_4, 4).
wagen_farbe(wagen4_4, rot).
wagen_laenge(wagen4_4, lang).
hat_wand(wagen4_4, voll).
hat_dach(wagen4_4, verstrebtes_dach).
hat_rad(wagen4_4, 3).
hat_ladung(wagen4_4, metall_topf).
ladungs_nummer(wagen4_4, 2).
hat_fenster(wagen4_4, voll).
hat_wagen(zug4, wagen4_5).
wagen_nummer(wagen4_5, 5).
wagen_farbe(wagen4_5, blau).
wagen_laenge(wagen4_5, kurz).
hat_wand(wagen4_5, voll).
hat_dach(wagen4_5, spitzdach).
hat_rad(wagen4_5, 2).
hat_ladung(wagen4_5, fass).
ladungs_nummer(wagen4_5, 2).
hat_fenster(wagen4_5, halb).
hat_wagen(zug4, wagen4_6).
wagen_nummer(wagen4_6, 6).
wagen_farbe(wagen4_6, blau).
wagen_laenge(wagen4_6, kurz).
hat_wand(wagen4_6, gelaender).
hat_dach(wagen4_6, verstrebtes_dach).
hat_rad(wagen4_6, 2).
hat_ladung(wagen4_6, keine).
ladungs_nummer(wagen4_6, 0).
hat_fenster(wagen4_6, keine).

west(zug5).
hat_wagen(zug5, wagen5_1).
wagen_nummer(wagen5_1, 1).
wagen_farbe(wagen5_1, rot).
wagen_laenge(wagen5_1, lang).
hat_wand(wagen5_1, gelaender).
hat_dach(wagen5_1, spitzdach).
hat_rad(wagen5_1, 2).
hat_ladung(wagen5_1, metall_topf).
ladungs_nummer(wagen5_1, 3).
hat_fenster(wagen5_1, halb).
hat_wagen(zug5, wagen5_2).
wagen_nummer(wagen5_2, 2).
wagen_farbe(wagen5_2, gruen).
wagen_laenge(wagen5_2, kurz).
hat_wand(wagen5_2, voll).
hat_dach(wagen5_2, spitzdach).
hat_rad(wagen5_2, 2).
hat_ladung(wagen5_2, goldene_vase).
ladungs_nummer(wagen5_2, 2).
hat_fenster(wagen5_2, halb).
hat_wagen(zug5, wagen5_3).
wagen_nummer(wagen5_3, 3).
wagen_farbe(wagen5_3, weiss).
wagen_laenge(wagen5_3, kurz).
hat_wand(wagen5_3, voll).
hat_dach(wagen5_3, spitzdach).
hat_rad(wagen5_3, 2).
hat_ladung(wagen5_3, keine).
ladungs_nummer(wagen5_3, 0).
hat_fenster(wagen5_3, voll).
hat_wagen(zug5, wagen5_4).
wagen_nummer(wagen5_4, 4).
wagen_farbe(wagen5_4, blau).
wagen_laenge(wagen5_4, lang).
hat_wand(wagen5_4, gelaender).
hat_dach(wagen5_4, festes_dach).
hat_rad(wagen5_4, 2).
hat_ladung(wagen5_4, blaue_box).
ladungs_nummer(wagen5_4, 2).
hat_fenster(wagen5_4, halb).
hat_wagen(zug5, wagen5_5).
wagen_nummer(wagen5_5, 5).
wagen_farbe(wagen5_5, gruen).
wagen_laenge(wagen5_5, kurz).
hat_wand(wagen5_5, gelaender).
hat_dach(wagen5_5, spitzdach).
hat_rad(wagen5_5, 2).
hat_ladung(wagen5_5, keine).
ladungs_nummer(wagen5_5, 0).
hat_fenster(wagen5_5, halb).

west(zug6).
hat_wagen(zug6, wagen6_1).
wagen_nummer(wagen6_1, 1).
wagen_farbe(wagen6_1, rot).
wagen_laenge(wagen6_1, kurz).
hat_wand(wagen6_1, gelaender).
hat_dach(wagen6_1, verstrebtes_dach).
hat_rad(wagen6_1, 2).
hat_ladung(wagen6_1, ovale_vase).
ladungs_nummer(wagen6_1, 2).
hat_fenster(wagen6_1, keine).
hat_wagen(zug6, wagen6_2).
wagen_nummer(wagen6_2, 2).
wagen_farbe(wagen6_2, gruen).
wagen_laenge(wagen6_2, kurz).
hat_wand(wagen6_2, voll).
hat_dach(wagen6_2, dach_fundament).
hat_rad(wagen6_2, 2).
hat_ladung(wagen6_2, keine).
ladungs_nummer(wagen6_2, 0).
hat_fenster(wagen6_2, halb).
hat_wagen(zug6, wagen6_3).
wagen_nummer(wagen6_3, 3).
wagen_farbe(wagen6_3, blau).
wagen_laenge(wagen6_3, kurz).
hat_wand(wagen6_3, voll).
hat_dach(wagen6_3, festes_dach).
hat_rad(wagen6_3, 2).
hat_ladung(wagen6_3, ovale_vase).
ladungs_nummer(wagen6_3, 2).
hat_fenster(wagen6_3, voll).
hat_wagen(zug6, wagen6_4).
wagen_nummer(wagen6_4, 4).
wagen_farbe(wagen6_4, blau).
wagen_laenge(wagen6_4, lang).
hat_wand(wagen6_4, voll).
hat_dach(wagen6_4, dach_fundament).
hat_rad(wagen6_4, 3).
hat_ladung(wagen6_4, metall_topf).
ladungs_nummer(wagen6_4, 3).
hat_fenster(wagen6_4, voll).
hat_wagen(zug6, wagen6_5).
wagen_nummer(wagen6_5, 5).
wagen_farbe(wagen6_5, gelb).
wagen_laenge(wagen6_5, kurz).
hat_wand(wagen6_5, voll).
hat_dach(wagen6_5, spitzdach).
hat_rad(wagen6_5, 2).
hat_ladung(wagen6_5, keine).
ladungs_nummer(wagen6_5, 0).
hat_fenster(wagen6_5, voll).
hat_wagen(zug6, wagen6_6).
wagen_nummer(wagen6_6, 6).
wagen_farbe(wagen6_6, gelb).
wagen_laenge(wagen6_6, kurz).
hat_wand(wagen6_6, gelaender).
hat_dach(wagen6_6, spitzdach).
hat_rad(wagen6_6, 2).
hat_ladung(wagen6_6, goldene_vase).
ladungs_nummer(wagen6_6, 1).
hat_fenster(wagen6_6, voll).

west(zug7).
hat_wagen(zug7, wagen7_1).
wagen_nummer(wagen7_1, 1).
wagen_farbe(wagen7_1, weiss).
wagen_laenge(wagen7_1, lang).
hat_wand(wagen7_1, voll).
hat_dach(wagen7_1, keine).
hat_rad(wagen7_1, 3).
hat_ladung(wagen7_1, goldene_vase).
ladungs_nummer(wagen7_1, 2).
hat_fenster(wagen7_1, halb).
hat_wagen(zug7, wagen7_2).
wagen_nummer(wagen7_2, 2).
wagen_farbe(wagen7_2, blau).
wagen_laenge(wagen7_2, lang).
hat_wand(wagen7_2, gelaender).
hat_dach(wagen7_2, keine).
hat_rad(wagen7_2, 2).
hat_ladung(wagen7_2, keine).
ladungs_nummer(wagen7_2, 0).
hat_fenster(wagen7_2, voll).
hat_wagen(zug7, wagen7_3).
wagen_nummer(wagen7_3, 3).
wagen_farbe(wagen7_3, rot).
wagen_laenge(wagen7_3, lang).
hat_wand(wagen7_3, gelaender).
hat_dach(wagen7_3, verstrebtes_dach).
hat_rad(wagen7_3, 3).
hat_ladung(wagen7_3, fass).
ladungs_nummer(wagen7_3, 3).
hat_fenster(wagen7_3, keine).
hat_wagen(zug7, wagen7_4).
wagen_nummer(wagen7_4, 4).
wagen_farbe(wagen7_4, rot).
wagen_laenge(wagen7_4, kurz).
hat_wand(wagen7_4, voll).
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).
hat_wagen(zug7, wagen7_5).
wagen_nummer(wagen7_5, 5).
wagen_farbe(wagen7_5, gruen).
wagen_laenge(wagen7_5, lang).
hat_wand(wagen7_5, gelaender).
hat_dach(wagen7_5, dach_fundament).
hat_rad(wagen7_5, 2).
hat_ladung(wagen7_5, blaue_box).
ladungs_nummer(wagen7_5, 2).
hat_fenster(wagen7_5, keine).

west(zug8).
hat_wagen(zug8, wagen8_1).
wagen_nummer(wagen8_1, 1).
wagen_farbe(wagen8_1, rot).
wagen_laenge(wagen8_1, lang).
hat_wand(wagen8_1, gelaender).
hat_dach(wagen8_1, festes_dach).
hat_rad(wagen8_1, 3).
hat_ladung(wagen8_1, metall_topf).
ladungs_nummer(wagen8_1, 1).
hat_fenster(wagen8_1, keine).
hat_wagen(zug8, wagen8_2).
wagen_nummer(wagen8_2, 2).
wagen_farbe(wagen8_2, gruen).
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, 2).
hat_fenster(wagen8_2, halb).
hat_wagen(zug8, wagen8_3).
wagen_nummer(wagen8_3, 3).
wagen_farbe(wagen8_3, rot).
wagen_laenge(wagen8_3, lang).
hat_wand(wagen8_3, voll).
hat_dach(wagen8_3, verstrebtes_dach).
hat_rad(wagen8_3, 3).
hat_ladung(wagen8_3, blaue_box).
ladungs_nummer(wagen8_3, 1).
hat_fenster(wagen8_3, halb).
hat_wagen(zug8, wagen8_4).
wagen_nummer(wagen8_4, 4).
wagen_farbe(wagen8_4, blau).
wagen_laenge(wagen8_4, kurz).
hat_wand(wagen8_4, gelaender).
hat_dach(wagen8_4, festes_dach).
hat_rad(wagen8_4, 2).
hat_ladung(wagen8_4, fass).
ladungs_nummer(wagen8_4, 1).
hat_fenster(wagen8_4, voll).
hat_wagen(zug8, wagen8_5).
wagen_nummer(wagen8_5, 5).
wagen_farbe(wagen8_5, gruen).
wagen_laenge(wagen8_5, kurz).
hat_wand(wagen8_5, voll).
hat_dach(wagen8_5, festes_dach).
hat_rad(wagen8_5, 2).
hat_ladung(wagen8_5, keine).
ladungs_nummer(wagen8_5, 0).
hat_fenster(wagen8_5, halb).

west(zug9).
hat_wagen(zug9, wagen9_1).
wagen_nummer(wagen9_1, 1).
wagen_farbe(wagen9_1, weiss).
wagen_laenge(wagen9_1, kurz).
hat_wand(wagen9_1, gelaender).
hat_dach(wagen9_1, verstrebtes_dach).
hat_rad(wagen9_1, 2).
hat_ladung(wagen9_1, ovale_vase).
ladungs_nummer(wagen9_1, 1).
hat_fenster(wagen9_1, voll).
hat_wagen(zug9, wagen9_2).
wagen_nummer(wagen9_2, 2).
wagen_farbe(wagen9_2, gelb).
wagen_laenge(wagen9_2, lang).
hat_wand(wagen9_2, voll).
hat_dach(wagen9_2, spitzdach).
hat_rad(wagen9_2, 2).
hat_ladung(wagen9_2, diamant).
ladungs_nummer(wagen9_2, 1).
hat_fenster(wagen9_2, voll).
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, dach_fundament).
hat_rad(wagen9_3, 3).
hat_ladung(wagen9_3, fass).
ladungs_nummer(wagen9_3, 2).
hat_fenster(wagen9_3, halb).
hat_wagen(zug9, wagen9_4).
wagen_nummer(wagen9_4, 4).
wagen_farbe(wagen9_4, rot).
wagen_laenge(wagen9_4, lang).
hat_wand(wagen9_4, voll).
hat_dach(wagen9_4, spitzdach).
hat_rad(wagen9_4, 2).
hat_ladung(wagen9_4, ovale_vase).
ladungs_nummer(wagen9_4, 1).
hat_fenster(wagen9_4, voll).
hat_wagen(zug9, wagen9_5).
wagen_nummer(wagen9_5, 5).
wagen_farbe(wagen9_5, gelb).
wagen_laenge(wagen9_5, kurz).
hat_wand(wagen9_5, gelaender).
hat_dach(wagen9_5, keine).
hat_rad(wagen9_5, 2).
hat_ladung(wagen9_5, ovale_vase).
ladungs_nummer(wagen9_5, 1).
hat_fenster(wagen9_5, voll).

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, gelaender).
hat_dach(wagen10_1, dach_fundament).
hat_rad(wagen10_1, 3).
hat_ladung(wagen10_1, goldene_vase).
ladungs_nummer(wagen10_1, 2).
hat_fenster(wagen10_1, halb).
hat_wagen(zug10, wagen10_2).
wagen_nummer(wagen10_2, 2).
wagen_farbe(wagen10_2, blau).
wagen_laenge(wagen10_2, lang).
hat_wand(wagen10_2, gelaender).
hat_dach(wagen10_2, dach_fundament).
hat_rad(wagen10_2, 3).
hat_ladung(wagen10_2, goldene_vase).
ladungs_nummer(wagen10_2, 2).
hat_fenster(wagen10_2, keine).
hat_wagen(zug10, wagen10_3).
wagen_nummer(wagen10_3, 3).
wagen_farbe(wagen10_3, gelb).
wagen_laenge(wagen10_3, lang).
hat_wand(wagen10_3, voll).
hat_dach(wagen10_3, keine).
hat_rad(wagen10_3, 2).
hat_ladung(wagen10_3, metall_topf).
ladungs_nummer(wagen10_3, 2).
hat_fenster(wagen10_3, halb).
hat_wagen(zug10, wagen10_4).
wagen_nummer(wagen10_4, 4).
wagen_farbe(wagen10_4, weiss).
wagen_laenge(wagen10_4, kurz).
hat_wand(wagen10_4, gelaender).
hat_dach(wagen10_4, spitzdach).
hat_rad(wagen10_4, 2).
hat_ladung(wagen10_4, metall_topf).
ladungs_nummer(wagen10_4, 2).
hat_fenster(wagen10_4, halb).
hat_wagen(zug10, wagen10_5).
wagen_nummer(wagen10_5, 5).
wagen_farbe(wagen10_5, gelb).
wagen_laenge(wagen10_5, kurz).
hat_wand(wagen10_5, voll).
hat_dach(wagen10_5, verstrebtes_dach).
hat_rad(wagen10_5, 2).
hat_ladung(wagen10_5, goldene_vase).
ladungs_nummer(wagen10_5, 1).
hat_fenster(wagen10_5, keine).
hat_wagen(zug10, wagen10_6).
wagen_nummer(wagen10_6, 6).
wagen_farbe(wagen10_6, gruen).
wagen_laenge(wagen10_6, lang).
hat_wand(wagen10_6, gelaender).
hat_dach(wagen10_6, dach_fundament).
hat_rad(wagen10_6, 2).
hat_ladung(wagen10_6, goldene_vase).
ladungs_nummer(wagen10_6, 2).
hat_fenster(wagen10_6, voll).

west(zug11).
hat_wagen(zug11, wagen11_1).
wagen_nummer(wagen11_1, 1).
wagen_farbe(wagen11_1, blau).
wagen_laenge(wagen11_1, kurz).
hat_wand(wagen11_1, gelaender).
hat_dach(wagen11_1, festes_dach).
hat_rad(wagen11_1, 2).
hat_ladung(wagen11_1, ovale_vase).
ladungs_nummer(wagen11_1, 1).
hat_fenster(wagen11_1, halb).
hat_wagen(zug11, wagen11_2).
wagen_nummer(wagen11_2, 2).
wagen_farbe(wagen11_2, weiss).
wagen_laenge(wagen11_2, kurz).
hat_wand(wagen11_2, voll).
hat_dach(wagen11_2, keine).
hat_rad(wagen11_2, 2).
hat_ladung(wagen11_2, keine).
ladungs_nummer(wagen11_2, 0).
hat_fenster(wagen11_2, voll).
hat_wagen(zug11, wagen11_3).
wagen_nummer(wagen11_3, 3).
wagen_farbe(wagen11_3, blau).
wagen_laenge(wagen11_3, lang).
hat_wand(wagen11_3, voll).
hat_dach(wagen11_3, dach_fundament).
hat_rad(wagen11_3, 3).
hat_ladung(wagen11_3, goldene_vase).
ladungs_nummer(wagen11_3, 1).
hat_fenster(wagen11_3, halb).
hat_wagen(zug11, wagen11_4).
wagen_nummer(wagen11_4, 4).
wagen_farbe(wagen11_4, gruen).
wagen_laenge(wagen11_4, lang).
hat_wand(wagen11_4, gelaender).
hat_dach(wagen11_4, festes_dach).
hat_rad(wagen11_4, 3).
hat_ladung(wagen11_4, fass).
ladungs_nummer(wagen11_4, 3).
hat_fenster(wagen11_4, halb).
hat_wagen(zug11, wagen11_5).
wagen_nummer(wagen11_5, 5).
wagen_farbe(wagen11_5, blau).
wagen_laenge(wagen11_5, lang).
hat_wand(wagen11_5, voll).
hat_dach(wagen11_5, festes_dach).
hat_rad(wagen11_5, 3).
hat_ladung(wagen11_5, keine).
ladungs_nummer(wagen11_5, 0).
hat_fenster(wagen11_5, keine).
hat_wagen(zug11, wagen11_6).
wagen_nummer(wagen11_6, 6).
wagen_farbe(wagen11_6, blau).
wagen_laenge(wagen11_6, lang).
hat_wand(wagen11_6, gelaender).
hat_dach(wagen11_6, spitzdach).
hat_rad(wagen11_6, 2).
hat_ladung(wagen11_6, fass).
ladungs_nummer(wagen11_6, 2).
hat_fenster(wagen11_6, keine).

west(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, gelaender).
hat_dach(wagen12_1, dach_fundament).
hat_rad(wagen12_1, 2).
hat_ladung(wagen12_1, blaue_box).
ladungs_nummer(wagen12_1, 1).
hat_fenster(wagen12_1, keine).
hat_wagen(zug12, wagen12_2).
wagen_nummer(wagen12_2, 2).
wagen_farbe(wagen12_2, gelb).
wagen_laenge(wagen12_2, kurz).
hat_wand(wagen12_2, gelaender).
hat_dach(wagen12_2, keine).
hat_rad(wagen12_2, 2).
hat_ladung(wagen12_2, fass).
ladungs_nummer(wagen12_2, 1).
hat_fenster(wagen12_2, keine).
hat_wagen(zug12, wagen12_3).
wagen_nummer(wagen12_3, 3).
wagen_farbe(wagen12_3, weiss).
wagen_laenge(wagen12_3, lang).
hat_wand(wagen12_3, voll).
hat_dach(wagen12_3, verstrebtes_dach).
hat_rad(wagen12_3, 3).
hat_ladung(wagen12_3, fass).
ladungs_nummer(wagen12_3, 1).
hat_fenster(wagen12_3, keine).
hat_wagen(zug12, wagen12_4).
wagen_nummer(wagen12_4, 4).
wagen_farbe(wagen12_4, weiss).
wagen_laenge(wagen12_4, kurz).
hat_wand(wagen12_4, voll).
hat_dach(wagen12_4, dach_fundament).
hat_rad(wagen12_4, 2).
hat_ladung(wagen12_4, metall_topf).
ladungs_nummer(wagen12_4, 2).
hat_fenster(wagen12_4, halb).
hat_wagen(zug12, wagen12_5).
wagen_nummer(wagen12_5, 5).
wagen_farbe(wagen12_5, gruen).
wagen_laenge(wagen12_5, kurz).
hat_wand(wagen12_5, gelaender).
hat_dach(wagen12_5, verstrebtes_dach).
hat_rad(wagen12_5, 2).
hat_ladung(wagen12_5, metall_topf).
ladungs_nummer(wagen12_5, 1).
hat_fenster(wagen12_5, voll).
hat_wagen(zug12, wagen12_6).
wagen_nummer(wagen12_6, 6).
wagen_farbe(wagen12_6, gruen).
wagen_laenge(wagen12_6, lang).
hat_wand(wagen12_6, voll).
hat_dach(wagen12_6, keine).
hat_rad(wagen12_6, 2).
hat_ladung(wagen12_6, diamant).
ladungs_nummer(wagen12_6, 3).
hat_fenster(wagen12_6, halb).

ost(zug13).
hat_wagen(zug13, wagen13_1).
wagen_nummer(wagen13_1, 1).
wagen_farbe(wagen13_1, weiss).
wagen_laenge(wagen13_1, kurz).
hat_wand(wagen13_1, gelaender).
hat_dach(wagen13_1, keine).
hat_rad(wagen13_1, 2).
hat_ladung(wagen13_1, ovale_vase).
ladungs_nummer(wagen13_1, 1).
hat_fenster(wagen13_1, keine).
hat_wagen(zug13, wagen13_2).
wagen_nummer(wagen13_2, 2).
wagen_farbe(wagen13_2, blau).
wagen_laenge(wagen13_2, lang).
hat_wand(wagen13_2, voll).
hat_dach(wagen13_2, festes_dach).
hat_rad(wagen13_2, 2).
hat_ladung(wagen13_2, keine).
ladungs_nummer(wagen13_2, 0).
hat_fenster(wagen13_2, voll).
hat_wagen(zug13, wagen13_3).
wagen_nummer(wagen13_3, 3).
wagen_farbe(wagen13_3, blau).
wagen_laenge(wagen13_3, lang).
hat_wand(wagen13_3, voll).
hat_dach(wagen13_3, dach_fundament).
hat_rad(wagen13_3, 2).
hat_ladung(wagen13_3, ovale_vase).
ladungs_nummer(wagen13_3, 1).
hat_fenster(wagen13_3, keine).
hat_wagen(zug13, wagen13_4).
wagen_nummer(wagen13_4, 4).
wagen_farbe(wagen13_4, weiss).
wagen_laenge(wagen13_4, lang).
hat_wand(wagen13_4, gelaender).
hat_dach(wagen13_4, dach_fundament).
hat_rad(wagen13_4, 3).
hat_ladung(wagen13_4, blaue_box).
ladungs_nummer(wagen13_4, 3).
hat_fenster(wagen13_4, keine).
hat_wagen(zug13, wagen13_5).
wagen_nummer(wagen13_5, 5).
wagen_farbe(wagen13_5, weiss).
wagen_laenge(wagen13_5, lang).
hat_wand(wagen13_5, voll).
hat_dach(wagen13_5, spitzdach).
hat_rad(wagen13_5, 3).
hat_ladung(wagen13_5, diamant).
ladungs_nummer(wagen13_5, 3).
hat_fenster(wagen13_5, voll).

ost(zug14).
hat_wagen(zug14, wagen14_1).
wagen_nummer(wagen14_1, 1).
wagen_farbe(wagen14_1, rot).
wagen_laenge(wagen14_1, kurz).
hat_wand(wagen14_1, voll).
hat_dach(wagen14_1, dach_fundament).
hat_rad(wagen14_1, 2).
hat_ladung(wagen14_1, keine).
ladungs_nummer(wagen14_1, 0).
hat_fenster(wagen14_1, halb).
hat_wagen(zug14, wagen14_2).
wagen_nummer(wagen14_2, 2).
wagen_farbe(wagen14_2, gelb).
wagen_laenge(wagen14_2, kurz).
hat_wand(wagen14_2, voll).
hat_dach(wagen14_2, dach_fundament).
hat_rad(wagen14_2, 2).
hat_ladung(wagen14_2, diamant).
ladungs_nummer(wagen14_2, 2).
hat_fenster(wagen14_2, keine).
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, spitzdach).
hat_rad(wagen14_3, 2).
hat_ladung(wagen14_3, metall_topf).
ladungs_nummer(wagen14_3, 2).
hat_fenster(wagen14_3, keine).
hat_wagen(zug14, wagen14_4).
wagen_nummer(wagen14_4, 4).
wagen_farbe(wagen14_4, gruen).
wagen_laenge(wagen14_4, lang).
hat_wand(wagen14_4, gelaender).
hat_dach(wagen14_4, keine).
hat_rad(wagen14_4, 2).
hat_ladung(wagen14_4, blaue_box).
ladungs_nummer(wagen14_4, 3).
hat_fenster(wagen14_4, halb).
hat_wagen(zug14, wagen14_5).
wagen_nummer(wagen14_5, 5).
wagen_farbe(wagen14_5, gelb).
wagen_laenge(wagen14_5, kurz).
hat_wand(wagen14_5, voll).
hat_dach(wagen14_5, dach_fundament).
hat_rad(wagen14_5, 2).
hat_ladung(wagen14_5, diamant).
ladungs_nummer(wagen14_5, 1).
hat_fenster(wagen14_5, voll).

ost(zug15).
hat_wagen(zug15, wagen15_1).
wagen_nummer(wagen15_1, 1).
wagen_farbe(wagen15_1, blau).
wagen_laenge(wagen15_1, lang).
hat_wand(wagen15_1, voll).
hat_dach(wagen15_1, keine).
hat_rad(wagen15_1, 2).
hat_ladung(wagen15_1, fass).
ladungs_nummer(wagen15_1, 1).
hat_fenster(wagen15_1, halb).
hat_wagen(zug15, wagen15_2).
wagen_nummer(wagen15_2, 2).
wagen_farbe(wagen15_2, blau).
wagen_laenge(wagen15_2, lang).
hat_wand(wagen15_2, voll).
hat_dach(wagen15_2, dach_fundament).
hat_rad(wagen15_2, 2).
hat_ladung(wagen15_2, diamant).
ladungs_nummer(wagen15_2, 1).
hat_fenster(wagen15_2, voll).
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, verstrebtes_dach).
hat_rad(wagen15_3, 3).
hat_ladung(wagen15_3, blaue_box).
ladungs_nummer(wagen15_3, 3).
hat_fenster(wagen15_3, keine).
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, spitzdach).
hat_rad(wagen15_4, 2).
hat_ladung(wagen15_4, blaue_box).
ladungs_nummer(wagen15_4, 2).
hat_fenster(wagen15_4, halb).
hat_wagen(zug15, wagen15_5).
wagen_nummer(wagen15_5, 5).
wagen_farbe(wagen15_5, gelb).
wagen_laenge(wagen15_5, kurz).
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, keine).

ost(zug16).
hat_wagen(zug16, wagen16_1).
wagen_nummer(wagen16_1, 1).
wagen_farbe(wagen16_1, gruen).
wagen_laenge(wagen16_1, kurz).
hat_wand(wagen16_1, voll).
hat_dach(wagen16_1, festes_dach).
hat_rad(wagen16_1, 2).
hat_ladung(wagen16_1, blaue_box).
ladungs_nummer(wagen16_1, 1).
hat_fenster(wagen16_1, keine).
hat_wagen(zug16, wagen16_2).
wagen_nummer(wagen16_2, 2).
wagen_farbe(wagen16_2, gruen).
wagen_laenge(wagen16_2, lang).
hat_wand(wagen16_2, voll).
hat_dach(wagen16_2, festes_dach).
hat_rad(wagen16_2, 2).
hat_ladung(wagen16_2, keine).
ladungs_nummer(wagen16_2, 0).
hat_fenster(wagen16_2, halb).
hat_wagen(zug16, wagen16_3).
wagen_nummer(wagen16_3, 3).
wagen_farbe(wagen16_3, gruen).
wagen_laenge(wagen16_3, lang).
hat_wand(wagen16_3, gelaender).
hat_dach(wagen16_3, spitzdach).
hat_rad(wagen16_3, 2).
hat_ladung(wagen16_3, keine).
ladungs_nummer(wagen16_3, 0).
hat_fenster(wagen16_3, halb).
hat_wagen(zug16, wagen16_4).
wagen_nummer(wagen16_4, 4).
wagen_farbe(wagen16_4, gruen).
wagen_laenge(wagen16_4, kurz).
hat_wand(wagen16_4, gelaender).
hat_dach(wagen16_4, verstrebtes_dach).
hat_rad(wagen16_4, 2).
hat_ladung(wagen16_4, ovale_vase).
ladungs_nummer(wagen16_4, 2).
hat_fenster(wagen16_4, halb).
hat_wagen(zug16, wagen16_5).
wagen_nummer(wagen16_5, 5).
wagen_farbe(wagen16_5, weiss).
wagen_laenge(wagen16_5, lang).
hat_wand(wagen16_5, voll).
hat_dach(wagen16_5, keine).
hat_rad(wagen16_5, 3).
hat_ladung(wagen16_5, blaue_box).
ladungs_nummer(wagen16_5, 3).
hat_fenster(wagen16_5, halb).
hat_wagen(zug16, wagen16_6).
wagen_nummer(wagen16_6, 6).
wagen_farbe(wagen16_6, gruen).
wagen_laenge(wagen16_6, kurz).
hat_wand(wagen16_6, voll).
hat_dach(wagen16_6, spitzdach).
hat_rad(wagen16_6, 2).
hat_ladung(wagen16_6, blaue_box).
ladungs_nummer(wagen16_6, 2).
hat_fenster(wagen16_6, halb).

ost(zug17).
hat_wagen(zug17, wagen17_1).
wagen_nummer(wagen17_1, 1).
wagen_farbe(wagen17_1, weiss).
wagen_laenge(wagen17_1, lang).
hat_wand(wagen17_1, voll).
hat_dach(wagen17_1, dach_fundament).
hat_rad(wagen17_1, 2).
hat_ladung(wagen17_1, blaue_box).
ladungs_nummer(wagen17_1, 1).
hat_fenster(wagen17_1, halb).
hat_wagen(zug17, wagen17_2).
wagen_nummer(wagen17_2, 2).
wagen_farbe(wagen17_2, rot).
wagen_laenge(wagen17_2, kurz).
hat_wand(wagen17_2, gelaender).
hat_dach(wagen17_2, spitzdach).
hat_rad(wagen17_2, 2).
hat_ladung(wagen17_2, metall_topf).
ladungs_nummer(wagen17_2, 2).
hat_fenster(wagen17_2, keine).
hat_wagen(zug17, wagen17_3).
wagen_nummer(wagen17_3, 3).
wagen_farbe(wagen17_3, weiss).
wagen_laenge(wagen17_3, lang).
hat_wand(wagen17_3, voll).
hat_dach(wagen17_3, keine).
hat_rad(wagen17_3, 3).
hat_ladung(wagen17_3, metall_topf).
ladungs_nummer(wagen17_3, 1).
hat_fenster(wagen17_3, keine).
hat_wagen(zug17, wagen17_4).
wagen_nummer(wagen17_4, 4).
wagen_farbe(wagen17_4, blau).
wagen_laenge(wagen17_4, kurz).
hat_wand(wagen17_4, voll).
hat_dach(wagen17_4, keine).
hat_rad(wagen17_4, 2).
hat_ladung(wagen17_4, keine).
ladungs_nummer(wagen17_4, 0).
hat_fenster(wagen17_4, voll).
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, spitzdach).
hat_rad(wagen17_5, 2).
hat_ladung(wagen17_5, blaue_box).
ladungs_nummer(wagen17_5, 3).
hat_fenster(wagen17_5, halb).
hat_wagen(zug17, wagen17_6).
wagen_nummer(wagen17_6, 6).
wagen_farbe(wagen17_6, weiss).
wagen_laenge(wagen17_6, kurz).
hat_wand(wagen17_6, voll).
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).

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

ost(zug19).
hat_wagen(zug19, wagen19_1).
wagen_nummer(wagen19_1, 1).
wagen_farbe(wagen19_1, rot).
wagen_laenge(wagen19_1, lang).
hat_wand(wagen19_1, gelaender).
hat_dach(wagen19_1, dach_fundament).
hat_rad(wagen19_1, 3).
hat_ladung(wagen19_1, fass).
ladungs_nummer(wagen19_1, 3).
hat_fenster(wagen19_1, keine).
hat_wagen(zug19, wagen19_2).
wagen_nummer(wagen19_2, 2).
wagen_farbe(wagen19_2, gruen).
wagen_laenge(wagen19_2, lang).
hat_wand(wagen19_2, voll).
hat_dach(wagen19_2, dach_fundament).
hat_rad(wagen19_2, 3).
hat_ladung(wagen19_2, blaue_box).
ladungs_nummer(wagen19_2, 3).
hat_fenster(wagen19_2, keine).
hat_wagen(zug19, wagen19_3).
wagen_nummer(wagen19_3, 3).
wagen_farbe(wagen19_3, blau).
wagen_laenge(wagen19_3, kurz).
hat_wand(wagen19_3, voll).
hat_dach(wagen19_3, spitzdach).
hat_rad(wagen19_3, 2).
hat_ladung(wagen19_3, keine).
ladungs_nummer(wagen19_3, 0).
hat_fenster(wagen19_3, keine).
hat_wagen(zug19, wagen19_4).
wagen_nummer(wagen19_4, 4).
wagen_farbe(wagen19_4, gruen).
wagen_laenge(wagen19_4, lang).
hat_wand(wagen19_4, voll).
hat_dach(wagen19_4, keine).
hat_rad(wagen19_4, 3).
hat_ladung(wagen19_4, diamant).
ladungs_nummer(wagen19_4, 1).
hat_fenster(wagen19_4, halb).
hat_wagen(zug19, wagen19_5).
wagen_nummer(wagen19_5, 5).
wagen_farbe(wagen19_5, rot).
wagen_laenge(wagen19_5, lang).
hat_wand(wagen19_5, gelaender).
hat_dach(wagen19_5, spitzdach).
hat_rad(wagen19_5, 3).
hat_ladung(wagen19_5, blaue_box).
ladungs_nummer(wagen19_5, 2).
hat_fenster(wagen19_5, halb).

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

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, voll).
hat_dach(wagen21_1, spitzdach).
hat_rad(wagen21_1, 2).
hat_ladung(wagen21_1, diamant).
ladungs_nummer(wagen21_1, 2).
hat_fenster(wagen21_1, halb).
hat_wagen(zug21, wagen21_2).
wagen_nummer(wagen21_2, 2).
wagen_farbe(wagen21_2, blau).
wagen_laenge(wagen21_2, lang).
hat_wand(wagen21_2, voll).
hat_dach(wagen21_2, dach_fundament).
hat_rad(wagen21_2, 2).
hat_ladung(wagen21_2, blaue_box).
ladungs_nummer(wagen21_2, 2).
hat_fenster(wagen21_2, halb).
hat_wagen(zug21, wagen21_3).
wagen_nummer(wagen21_3, 3).
wagen_farbe(wagen21_3, blau).
wagen_laenge(wagen21_3, lang).
hat_wand(wagen21_3, voll).
hat_dach(wagen21_3, dach_fundament).
hat_rad(wagen21_3, 2).
hat_ladung(wagen21_3, blaue_box).
ladungs_nummer(wagen21_3, 3).
hat_fenster(wagen21_3, voll).
hat_wagen(zug21, wagen21_4).
wagen_nummer(wagen21_4, 4).
wagen_farbe(wagen21_4, blau).
wagen_laenge(wagen21_4, kurz).
hat_wand(wagen21_4, voll).
hat_dach(wagen21_4, spitzdach).
hat_rad(wagen21_4, 2).
hat_ladung(wagen21_4, metall_topf).
ladungs_nummer(wagen21_4, 1).
hat_fenster(wagen21_4, halb).
hat_wagen(zug21, wagen21_5).
wagen_nummer(wagen21_5, 5).
wagen_farbe(wagen21_5, rot).
wagen_laenge(wagen21_5, kurz).
hat_wand(wagen21_5, gelaender).
hat_dach(wagen21_5, festes_dach).
hat_rad(wagen21_5, 2).
hat_ladung(wagen21_5, fass).
ladungs_nummer(wagen21_5, 2).
hat_fenster(wagen21_5, voll).
hat_wagen(zug21, wagen21_6).
wagen_nummer(wagen21_6, 6).
wagen_farbe(wagen21_6, gruen).
wagen_laenge(wagen21_6, lang).
hat_wand(wagen21_6, gelaender).
hat_dach(wagen21_6, verstrebtes_dach).
hat_rad(wagen21_6, 2).
hat_ladung(wagen21_6, ovale_vase).
ladungs_nummer(wagen21_6, 2).
hat_fenster(wagen21_6, halb).

ost(zug22).
hat_wagen(zug22, wagen22_1).
wagen_nummer(wagen22_1, 1).
wagen_farbe(wagen22_1, blau).
wagen_laenge(wagen22_1, lang).
hat_wand(wagen22_1, gelaender).
hat_dach(wagen22_1, festes_dach).
hat_rad(wagen22_1, 2).
hat_ladung(wagen22_1, keine).
ladungs_nummer(wagen22_1, 0).
hat_fenster(wagen22_1, keine).
hat_wagen(zug22, wagen22_2).
wagen_nummer(wagen22_2, 2).
wagen_farbe(wagen22_2, weiss).
wagen_laenge(wagen22_2, lang).
hat_wand(wagen22_2, voll).
hat_dach(wagen22_2, festes_dach).
hat_rad(wagen22_2, 3).
hat_ladung(wagen22_2, blaue_box).
ladungs_nummer(wagen22_2, 3).
hat_fenster(wagen22_2, keine).
hat_wagen(zug22, wagen22_3).
wagen_nummer(wagen22_3, 3).
wagen_farbe(wagen22_3, blau).
wagen_laenge(wagen22_3, lang).
hat_wand(wagen22_3, gelaender).
hat_dach(wagen22_3, festes_dach).
hat_rad(wagen22_3, 2).
hat_ladung(wagen22_3, metall_topf).
ladungs_nummer(wagen22_3, 3).
hat_fenster(wagen22_3, halb).
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, keine).
hat_rad(wagen22_4, 2).
hat_ladung(wagen22_4, ovale_vase).
ladungs_nummer(wagen22_4, 1).
hat_fenster(wagen22_4, keine).
hat_wagen(zug22, wagen22_5).
wagen_nummer(wagen22_5, 5).
wagen_farbe(wagen22_5, rot).
wagen_laenge(wagen22_5, kurz).
hat_wand(wagen22_5, voll).
hat_dach(wagen22_5, keine).
hat_rad(wagen22_5, 2).
hat_ladung(wagen22_5, keine).
ladungs_nummer(wagen22_5, 0).
hat_fenster(wagen22_5, voll).

ost(zug23).
hat_wagen(zug23, wagen23_1).
wagen_nummer(wagen23_1, 1).
wagen_farbe(wagen23_1, blau).
wagen_laenge(wagen23_1, kurz).
hat_wand(wagen23_1, gelaender).
hat_dach(wagen23_1, dach_fundament).
hat_rad(wagen23_1, 2).
hat_ladung(wagen23_1, diamant).
ladungs_nummer(wagen23_1, 1).
hat_fenster(wagen23_1, halb).
hat_wagen(zug23, wagen23_2).
wagen_nummer(wagen23_2, 2).
wagen_farbe(wagen23_2, weiss).
wagen_laenge(wagen23_2, lang).
hat_wand(wagen23_2, voll).
hat_dach(wagen23_2, dach_fundament).
hat_rad(wagen23_2, 3).
hat_ladung(wagen23_2, blaue_box).
ladungs_nummer(wagen23_2, 3).
hat_fenster(wagen23_2, keine).
hat_wagen(zug23, wagen23_3).
wagen_nummer(wagen23_3, 3).
wagen_farbe(wagen23_3, weiss).
wagen_laenge(wagen23_3, kurz).
hat_wand(wagen23_3, voll).
hat_dach(wagen23_3, verstrebtes_dach).
hat_rad(wagen23_3, 2).
hat_ladung(wagen23_3, blaue_box).
ladungs_nummer(wagen23_3, 2).
hat_fenster(wagen23_3, keine).
hat_wagen(zug23, wagen23_4).
wagen_nummer(wagen23_4, 4).
wagen_farbe(wagen23_4, gelb).
wagen_laenge(wagen23_4, kurz).
hat_wand(wagen23_4, voll).
hat_dach(wagen23_4, dach_fundament).
hat_rad(wagen23_4, 2).
hat_ladung(wagen23_4, goldene_vase).
ladungs_nummer(wagen23_4, 1).
hat_fenster(wagen23_4, keine).
hat_wagen(zug23, wagen23_5).
wagen_nummer(wagen23_5, 5).
wagen_farbe(wagen23_5, rot).
wagen_laenge(wagen23_5, kurz).
hat_wand(wagen23_5, voll).
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).

ost(zug24).
hat_wagen(zug24, wagen24_1).
wagen_nummer(wagen24_1, 1).
wagen_farbe(wagen24_1, gelb).
wagen_laenge(wagen24_1, lang).
hat_wand(wagen24_1, voll).
hat_dach(wagen24_1, spitzdach).
hat_rad(wagen24_1, 3).
hat_ladung(wagen24_1, goldene_vase).
ladungs_nummer(wagen24_1, 3).
hat_fenster(wagen24_1, halb).
hat_wagen(zug24, wagen24_2).
wagen_nummer(wagen24_2, 2).
wagen_farbe(wagen24_2, gruen).
wagen_laenge(wagen24_2, kurz).
hat_wand(wagen24_2, gelaender).
hat_dach(wagen24_2, keine).
hat_rad(wagen24_2, 2).
hat_ladung(wagen24_2, goldene_vase).
ladungs_nummer(wagen24_2, 2).
hat_fenster(wagen24_2, voll).
hat_wagen(zug24, wagen24_3).
wagen_nummer(wagen24_3, 3).
wagen_farbe(wagen24_3, rot).
wagen_laenge(wagen24_3, kurz).
hat_wand(wagen24_3, voll).
hat_dach(wagen24_3, festes_dach).
hat_rad(wagen24_3, 2).
hat_ladung(wagen24_3, keine).
ladungs_nummer(wagen24_3, 0).
hat_fenster(wagen24_3, keine).
hat_wagen(zug24, wagen24_4).
wagen_nummer(wagen24_4, 4).
wagen_farbe(wagen24_4, gelb).
wagen_laenge(wagen24_4, kurz).
hat_wand(wagen24_4, voll).
hat_dach(wagen24_4, spitzdach).
hat_rad(wagen24_4, 2).
hat_ladung(wagen24_4, metall_topf).
ladungs_nummer(wagen24_4, 1).
hat_fenster(wagen24_4, voll).
hat_wagen(zug24, wagen24_5).
wagen_nummer(wagen24_5, 5).
wagen_farbe(wagen24_5, weiss).
wagen_laenge(wagen24_5, lang).
hat_wand(wagen24_5, voll).
hat_dach(wagen24_5, keine).
hat_rad(wagen24_5, 2).
hat_ladung(wagen24_5, metall_topf).
ladungs_nummer(wagen24_5, 1).
hat_fenster(wagen24_5, halb).
hat_wagen(zug24, wagen24_6).
wagen_nummer(wagen24_6, 6).
wagen_farbe(wagen24_6, weiss).
wagen_laenge(wagen24_6, lang).
hat_wand(wagen24_6, voll).
hat_dach(wagen24_6, keine).
hat_rad(wagen24_6, 3).
hat_ladung(wagen24_6, blaue_box).
ladungs_nummer(wagen24_6, 3).
hat_fenster(wagen24_6, voll).

ost(zug25).
hat_wagen(zug25, wagen25_1).
wagen_nummer(wagen25_1, 1).
wagen_farbe(wagen25_1, gelb).
wagen_laenge(wagen25_1, lang).
hat_wand(wagen25_1, voll).
hat_dach(wagen25_1, dach_fundament).
hat_rad(wagen25_1, 2).
hat_ladung(wagen25_1, ovale_vase).
ladungs_nummer(wagen25_1, 1).
hat_fenster(wagen25_1, voll).
hat_wagen(zug25, wagen25_2).
wagen_nummer(wagen25_2, 2).
wagen_farbe(wagen25_2, rot).
wagen_laenge(wagen25_2, lang).
hat_wand(wagen25_2, gelaender).
hat_dach(wagen25_2, keine).
hat_rad(wagen25_2, 3).
hat_ladung(wagen25_2, blaue_box).
ladungs_nummer(wagen25_2, 2).
hat_fenster(wagen25_2, halb).
hat_wagen(zug25, wagen25_3).
wagen_nummer(wagen25_3, 3).
wagen_farbe(wagen25_3, gruen).
wagen_laenge(wagen25_3, kurz).
hat_wand(wagen25_3, gelaender).
hat_dach(wagen25_3, festes_dach).
hat_rad(wagen25_3, 2).
hat_ladung(wagen25_3, blaue_box).
ladungs_nummer(wagen25_3, 2).
hat_fenster(wagen25_3, keine).
hat_wagen(zug25, wagen25_4).
wagen_nummer(wagen25_4, 4).
wagen_farbe(wagen25_4, gelb).
wagen_laenge(wagen25_4, kurz).
hat_wand(wagen25_4, voll).
hat_dach(wagen25_4, dach_fundament).
hat_rad(wagen25_4, 2).
hat_ladung(wagen25_4, keine).
ladungs_nummer(wagen25_4, 0).
hat_fenster(wagen25_4, voll).
hat_wagen(zug25, wagen25_5).
wagen_nummer(wagen25_5, 5).
wagen_farbe(wagen25_5, weiss).
wagen_laenge(wagen25_5, lang).
hat_wand(wagen25_5, gelaender).
hat_dach(wagen25_5, festes_dach).
hat_rad(wagen25_5, 2).
hat_ladung(wagen25_5, blaue_box).
ladungs_nummer(wagen25_5, 3).
hat_fenster(wagen25_5, keine).


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, Wagen1), ladungs_nummer(Wagen1, 3), hat_wagen(Zug, Wagen2), hat_wand(Wagen2, voll), ladungs_nummer(Wagen2, 1), hat_ladung(Wagen1, blaue_box), hat_wagen(Zug, Wagen3), hat_rad(Wagen3, 2).
west(zug0).
hat_wagen(zug0, wagen0_1).
wagen_nummer(wagen0_1, 1).
wagen_farbe(wagen0_1, gelb).
wagen_laenge(wagen0_1, kurz).
hat_wand(wagen0_1, gelaender).
hat_dach(wagen0_1, verstrebtes_dach).
hat_rad(wagen0_1, 2).
hat_ladung(wagen0_1, metall_topf).
ladungs_nummer(wagen0_1, 1).
hat_fenster(wagen0_1, keine).
hat_wagen(zug0, wagen0_2).
wagen_nummer(wagen0_2, 2).
wagen_farbe(wagen0_2, rot).
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, keine).
ladungs_nummer(wagen0_2, 0).
hat_fenster(wagen0_2, halb).
hat_wagen(zug0, wagen0_3).
wagen_nummer(wagen0_3, 3).
wagen_farbe(wagen0_3, blau).
wagen_laenge(wagen0_3, lang).
hat_wand(wagen0_3, voll).
hat_dach(wagen0_3, keine).
hat_rad(wagen0_3, 3).
hat_ladung(wagen0_3, ovale_vase).
ladungs_nummer(wagen0_3, 1).
hat_fenster(wagen0_3, voll).
hat_wagen(zug0, wagen0_4).
wagen_nummer(wagen0_4, 4).
wagen_farbe(wagen0_4, blau).
wagen_laenge(wagen0_4, kurz).
hat_wand(wagen0_4, gelaender).
hat_dach(wagen0_4, spitzdach).
hat_rad(wagen0_4, 2).
hat_ladung(wagen0_4, goldene_vase).
ladungs_nummer(wagen0_4, 2).
hat_fenster(wagen0_4, keine).
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, goldene_vase).
ladungs_nummer(wagen0_5, 1).
hat_fenster(wagen0_5, voll).

west(zug1).
hat_wagen(zug1, wagen1_1).
wagen_nummer(wagen1_1, 1).
wagen_farbe(wagen1_1, blau).
wagen_laenge(wagen1_1, lang).
hat_wand(wagen1_1, gelaender).
hat_dach(wagen1_1, festes_dach).
hat_rad(wagen1_1, 2).
hat_ladung(wagen1_1, blaue_box).
ladungs_nummer(wagen1_1, 2).
hat_fenster(wagen1_1, keine).
hat_wagen(zug1, wagen1_2).
wagen_nummer(wagen1_2, 2).
wagen_farbe(wagen1_2, rot).
wagen_laenge(wagen1_2, lang).
hat_wand(wagen1_2, gelaender).
hat_dach(wagen1_2, keine).
hat_rad(wagen1_2, 2).
hat_ladung(wagen1_2, keine).
ladungs_nummer(wagen1_2, 0).
hat_fenster(wagen1_2, keine).
hat_wagen(zug1, wagen1_3).
wagen_nummer(wagen1_3, 3).
wagen_farbe(wagen1_3, blau).
wagen_laenge(wagen1_3, lang).
hat_wand(wagen1_3, voll).
hat_dach(wagen1_3, dach_fundament).
hat_rad(wagen1_3, 3).
hat_ladung(wagen1_3, keine).
ladungs_nummer(wagen1_3, 0).
hat_fenster(wagen1_3, keine).
hat_wagen(zug1, wagen1_4).
wagen_nummer(wagen1_4, 4).
wagen_farbe(wagen1_4, blau).
wagen_laenge(wagen1_4, kurz).
hat_wand(wagen1_4, gelaender).
hat_dach(wagen1_4, keine).
hat_rad(wagen1_4, 2).
hat_ladung(wagen1_4, diamant).
ladungs_nummer(wagen1_4, 2).
hat_fenster(wagen1_4, halb).
hat_wagen(zug1, wagen1_5).
wagen_nummer(wagen1_5, 5).
wagen_farbe(wagen1_5, blau).
wagen_laenge(wagen1_5, lang).
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).
hat_wagen(zug1, wagen1_6).
wagen_nummer(wagen1_6, 6).
wagen_farbe(wagen1_6, weiss).
wagen_laenge(wagen1_6, lang).
hat_wand(wagen1_6, gelaender).
hat_dach(wagen1_6, keine).
hat_rad(wagen1_6, 2).
hat_ladung(wagen1_6, ovale_vase).
ladungs_nummer(wagen1_6, 3).
hat_fenster(wagen1_6, halb).

west(zug2).
hat_wagen(zug2, wagen2_1).
wagen_nummer(wagen2_1, 1).
wagen_farbe(wagen2_1, rot).
wagen_laenge(wagen2_1, lang).
hat_wand(wagen2_1, voll).
hat_dach(wagen2_1, festes_dach).
hat_rad(wagen2_1, 3).
hat_ladung(wagen2_1, metall_topf).
ladungs_nummer(wagen2_1, 3).
hat_fenster(wagen2_1, keine).
hat_wagen(zug2, wagen2_2).
wagen_nummer(wagen2_2, 2).
wagen_farbe(wagen2_2, gelb).
wagen_laenge(wagen2_2, lang).
hat_wand(wagen2_2, gelaender).
hat_dach(wagen2_2, verstrebtes_dach).
hat_rad(wagen2_2, 3).
hat_ladung(wagen2_2, fass).
ladungs_nummer(wagen2_2, 3).
hat_fenster(wagen2_2, keine).
hat_wagen(zug2, wagen2_3).
wagen_nummer(wagen2_3, 3).
wagen_farbe(wagen2_3, gelb).
wagen_laenge(wagen2_3, lang).
hat_wand(wagen2_3, voll).
hat_dach(wagen2_3, dach_fundament).
hat_rad(wagen2_3, 2).
hat_ladung(wagen2_3, keine).
ladungs_nummer(wagen2_3, 0).
hat_fenster(wagen2_3, voll).
hat_wagen(zug2, wagen2_4).
wagen_nummer(wagen2_4, 4).
wagen_farbe(wagen2_4, gruen).
wagen_laenge(wagen2_4, kurz).
hat_wand(wagen2_4, voll).
hat_dach(wagen2_4, dach_fundament).
hat_rad(wagen2_4, 2).
hat_ladung(wagen2_4, blaue_box).
ladungs_nummer(wagen2_4, 1).
hat_fenster(wagen2_4, voll).
hat_wagen(zug2, wagen2_5).
wagen_nummer(wagen2_5, 5).
wagen_farbe(wagen2_5, weiss).
wagen_laenge(wagen2_5, lang).
hat_wand(wagen2_5, gelaender).
hat_dach(wagen2_5, keine).
hat_rad(wagen2_5, 2).
hat_ladung(wagen2_5, ovale_vase).
ladungs_nummer(wagen2_5, 2).
hat_fenster(wagen2_5, voll).

west(zug3).
hat_wagen(zug3, wagen3_1).
wagen_nummer(wagen3_1, 1).
wagen_farbe(wagen3_1, weiss).
wagen_laenge(wagen3_1, lang).
hat_wand(wagen3_1, voll).
hat_dach(wagen3_1, spitzdach).
hat_rad(wagen3_1, 3).
hat_ladung(wagen3_1, keine).
ladungs_nummer(wagen3_1, 0).
hat_fenster(wagen3_1, keine).
hat_wagen(zug3, wagen3_2).
wagen_nummer(wagen3_2, 2).
wagen_farbe(wagen3_2, gelb).
wagen_laenge(wagen3_2, lang).
hat_wand(wagen3_2, gelaender).
hat_dach(wagen3_2, spitzdach).
hat_rad(wagen3_2, 2).
hat_ladung(wagen3_2, ovale_vase).
ladungs_nummer(wagen3_2, 3).
hat_fenster(wagen3_2, keine).
hat_wagen(zug3, wagen3_3).
wagen_nummer(wagen3_3, 3).
wagen_farbe(wagen3_3, weiss).
wagen_laenge(wagen3_3, lang).
hat_wand(wagen3_3, voll).
hat_dach(wagen3_3, verstrebtes_dach).
hat_rad(wagen3_3, 2).
hat_ladung(wagen3_3, goldene_vase).
ladungs_nummer(wagen3_3, 3).
hat_fenster(wagen3_3, halb).
hat_wagen(zug3, wagen3_4).
wagen_nummer(wagen3_4, 4).
wagen_farbe(wagen3_4, blau).
wagen_laenge(wagen3_4, lang).
hat_wand(wagen3_4, gelaender).
hat_dach(wagen3_4, festes_dach).
hat_rad(wagen3_4, 2).
hat_ladung(wagen3_4, goldene_vase).
ladungs_nummer(wagen3_4, 3).
hat_fenster(wagen3_4, voll).
hat_wagen(zug3, wagen3_5).
wagen_nummer(wagen3_5, 5).
wagen_farbe(wagen3_5, blau).
wagen_laenge(wagen3_5, lang).
hat_wand(wagen3_5, gelaender).
hat_dach(wagen3_5, verstrebtes_dach).
hat_rad(wagen3_5, 2).
hat_ladung(wagen3_5, ovale_vase).
ladungs_nummer(wagen3_5, 1).
hat_fenster(wagen3_5, voll).

west(zug4).
hat_wagen(zug4, wagen4_1).
wagen_nummer(wagen4_1, 1).
wagen_farbe(wagen4_1, gruen).
wagen_laenge(wagen4_1, kurz).
hat_wand(wagen4_1, gelaender).
hat_dach(wagen4_1, festes_dach).
hat_rad(wagen4_1, 2).
hat_ladung(wagen4_1, diamant).
ladungs_nummer(wagen4_1, 2).
hat_fenster(wagen4_1, halb).
hat_wagen(zug4, wagen4_2).
wagen_nummer(wagen4_2, 2).
wagen_farbe(wagen4_2, weiss).
wagen_laenge(wagen4_2, lang).
hat_wand(wagen4_2, gelaender).
hat_dach(wagen4_2, keine).
hat_rad(wagen4_2, 2).
hat_ladung(wagen4_2, goldene_vase).
ladungs_nummer(wagen4_2, 2).
hat_fenster(wagen4_2, voll).
hat_wagen(zug4, wagen4_3).
wagen_nummer(wagen4_3, 3).
wagen_farbe(wagen4_3, gelb).
wagen_laenge(wagen4_3, lang).
hat_wand(wagen4_3, voll).
hat_dach(wagen4_3, festes_dach).
hat_rad(wagen4_3, 3).
hat_ladung(wagen4_3, fass).
ladungs_nummer(wagen4_3, 3).
hat_fenster(wagen4_3, halb).
hat_wagen(zug4, wagen4_4).
wagen_nummer(wagen4_4, 4).
wagen_farbe(wagen4_4, rot).
wagen_laenge(wagen4_4, lang).
hat_wand(wagen4_4, voll).
hat_dach(wagen4_4, verstrebtes_dach).
hat_rad(wagen4_4, 3).
hat_ladung(wagen4_4, metall_topf).
ladungs_nummer(wagen4_4, 2).
hat_fenster(wagen4_4, voll).
hat_wagen(zug4, wagen4_5).
wagen_nummer(wagen4_5, 5).
wagen_farbe(wagen4_5, blau).
wagen_laenge(wagen4_5, kurz).
hat_wand(wagen4_5, voll).
hat_dach(wagen4_5, spitzdach).
hat_rad(wagen4_5, 2).
hat_ladung(wagen4_5, fass).
ladungs_nummer(wagen4_5, 2).
hat_fenster(wagen4_5, halb).
hat_wagen(zug4, wagen4_6).
wagen_nummer(wagen4_6, 6).
wagen_farbe(wagen4_6, blau).
wagen_laenge(wagen4_6, kurz).
hat_wand(wagen4_6, gelaender).
hat_dach(wagen4_6, verstrebtes_dach).
hat_rad(wagen4_6, 2).
hat_ladung(wagen4_6, keine).
ladungs_nummer(wagen4_6, 0).
hat_fenster(wagen4_6, keine).

west(zug5).
hat_wagen(zug5, wagen5_1).
wagen_nummer(wagen5_1, 1).
wagen_farbe(wagen5_1, rot).
wagen_laenge(wagen5_1, lang).
hat_wand(wagen5_1, gelaender).
hat_dach(wagen5_1, spitzdach).
hat_rad(wagen5_1, 2).
hat_ladung(wagen5_1, metall_topf).
ladungs_nummer(wagen5_1, 3).
hat_fenster(wagen5_1, halb).
hat_wagen(zug5, wagen5_2).
wagen_nummer(wagen5_2, 2).
wagen_farbe(wagen5_2, gruen).
wagen_laenge(wagen5_2, kurz).
hat_wand(wagen5_2, voll).
hat_dach(wagen5_2, spitzdach).
hat_rad(wagen5_2, 2).
hat_ladung(wagen5_2, goldene_vase).
ladungs_nummer(wagen5_2, 2).
hat_fenster(wagen5_2, halb).
hat_wagen(zug5, wagen5_3).
wagen_nummer(wagen5_3, 3).
wagen_farbe(wagen5_3, weiss).
wagen_laenge(wagen5_3, kurz).
hat_wand(wagen5_3, voll).
hat_dach(wagen5_3, spitzdach).
hat_rad(wagen5_3, 2).
hat_ladung(wagen5_3, keine).
ladungs_nummer(wagen5_3, 0).
hat_fenster(wagen5_3, voll).
hat_wagen(zug5, wagen5_4).
wagen_nummer(wagen5_4, 4).
wagen_farbe(wagen5_4, blau).
wagen_laenge(wagen5_4, lang).
hat_wand(wagen5_4, gelaender).
hat_dach(wagen5_4, festes_dach).
hat_rad(wagen5_4, 2).
hat_ladung(wagen5_4, blaue_box).
ladungs_nummer(wagen5_4, 2).
hat_fenster(wagen5_4, halb).
hat_wagen(zug5, wagen5_5).
wagen_nummer(wagen5_5, 5).
wagen_farbe(wagen5_5, gruen).
wagen_laenge(wagen5_5, kurz).
hat_wand(wagen5_5, gelaender).
hat_dach(wagen5_5, spitzdach).
hat_rad(wagen5_5, 2).
hat_ladung(wagen5_5, keine).
ladungs_nummer(wagen5_5, 0).
hat_fenster(wagen5_5, halb).

west(zug6).
hat_wagen(zug6, wagen6_1).
wagen_nummer(wagen6_1, 1).
wagen_farbe(wagen6_1, rot).
wagen_laenge(wagen6_1, kurz).
hat_wand(wagen6_1, gelaender).
hat_dach(wagen6_1, verstrebtes_dach).
hat_rad(wagen6_1, 2).
hat_ladung(wagen6_1, ovale_vase).
ladungs_nummer(wagen6_1, 2).
hat_fenster(wagen6_1, keine).
hat_wagen(zug6, wagen6_2).
wagen_nummer(wagen6_2, 2).
wagen_farbe(wagen6_2, gruen).
wagen_laenge(wagen6_2, kurz).
hat_wand(wagen6_2, voll).
hat_dach(wagen6_2, dach_fundament).
hat_rad(wagen6_2, 2).
hat_ladung(wagen6_2, keine).
ladungs_nummer(wagen6_2, 0).
hat_fenster(wagen6_2, halb).
hat_wagen(zug6, wagen6_3).
wagen_nummer(wagen6_3, 3).
wagen_farbe(wagen6_3, blau).
wagen_laenge(wagen6_3, kurz).
hat_wand(wagen6_3, voll).
hat_dach(wagen6_3, festes_dach).
hat_rad(wagen6_3, 2).
hat_ladung(wagen6_3, ovale_vase).
ladungs_nummer(wagen6_3, 2).
hat_fenster(wagen6_3, voll).
hat_wagen(zug6, wagen6_4).
wagen_nummer(wagen6_4, 4).
wagen_farbe(wagen6_4, blau).
wagen_laenge(wagen6_4, lang).
hat_wand(wagen6_4, voll).
hat_dach(wagen6_4, dach_fundament).
hat_rad(wagen6_4, 3).
hat_ladung(wagen6_4, metall_topf).
ladungs_nummer(wagen6_4, 3).
hat_fenster(wagen6_4, voll).
hat_wagen(zug6, wagen6_5).
wagen_nummer(wagen6_5, 5).
wagen_farbe(wagen6_5, gelb).
wagen_laenge(wagen6_5, kurz).
hat_wand(wagen6_5, voll).
hat_dach(wagen6_5, spitzdach).
hat_rad(wagen6_5, 2).
hat_ladung(wagen6_5, keine).
ladungs_nummer(wagen6_5, 0).
hat_fenster(wagen6_5, voll).
hat_wagen(zug6, wagen6_6).
wagen_nummer(wagen6_6, 6).
wagen_farbe(wagen6_6, gelb).
wagen_laenge(wagen6_6, kurz).
hat_wand(wagen6_6, gelaender).
hat_dach(wagen6_6, spitzdach).
hat_rad(wagen6_6, 2).
hat_ladung(wagen6_6, goldene_vase).
ladungs_nummer(wagen6_6, 1).
hat_fenster(wagen6_6, voll).

west(zug7).
hat_wagen(zug7, wagen7_1).
wagen_nummer(wagen7_1, 1).
wagen_farbe(wagen7_1, weiss).
wagen_laenge(wagen7_1, lang).
hat_wand(wagen7_1, voll).
hat_dach(wagen7_1, keine).
hat_rad(wagen7_1, 3).
hat_ladung(wagen7_1, goldene_vase).
ladungs_nummer(wagen7_1, 2).
hat_fenster(wagen7_1, halb).
hat_wagen(zug7, wagen7_2).
wagen_nummer(wagen7_2, 2).
wagen_farbe(wagen7_2, blau).
wagen_laenge(wagen7_2, lang).
hat_wand(wagen7_2, gelaender).
hat_dach(wagen7_2, keine).
hat_rad(wagen7_2, 2).
hat_ladung(wagen7_2, keine).
ladungs_nummer(wagen7_2, 0).
hat_fenster(wagen7_2, voll).
hat_wagen(zug7, wagen7_3).
wagen_nummer(wagen7_3, 3).
wagen_farbe(wagen7_3, rot).
wagen_laenge(wagen7_3, lang).
hat_wand(wagen7_3, gelaender).
hat_dach(wagen7_3, verstrebtes_dach).
hat_rad(wagen7_3, 3).
hat_ladung(wagen7_3, fass).
ladungs_nummer(wagen7_3, 3).
hat_fenster(wagen7_3, keine).
hat_wagen(zug7, wagen7_4).
wagen_nummer(wagen7_4, 4).
wagen_farbe(wagen7_4, rot).
wagen_laenge(wagen7_4, kurz).
hat_wand(wagen7_4, voll).
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).
hat_wagen(zug7, wagen7_5).
wagen_nummer(wagen7_5, 5).
wagen_farbe(wagen7_5, gruen).
wagen_laenge(wagen7_5, lang).
hat_wand(wagen7_5, gelaender).
hat_dach(wagen7_5, dach_fundament).
hat_rad(wagen7_5, 2).
hat_ladung(wagen7_5, blaue_box).
ladungs_nummer(wagen7_5, 2).
hat_fenster(wagen7_5, keine).

west(zug8).
hat_wagen(zug8, wagen8_1).
wagen_nummer(wagen8_1, 1).
wagen_farbe(wagen8_1, rot).
wagen_laenge(wagen8_1, lang).
hat_wand(wagen8_1, gelaender).
hat_dach(wagen8_1, festes_dach).
hat_rad(wagen8_1, 3).
hat_ladung(wagen8_1, metall_topf).
ladungs_nummer(wagen8_1, 1).
hat_fenster(wagen8_1, keine).
hat_wagen(zug8, wagen8_2).
wagen_nummer(wagen8_2, 2).
wagen_farbe(wagen8_2, gruen).
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, 2).
hat_fenster(wagen8_2, halb).
hat_wagen(zug8, wagen8_3).
wagen_nummer(wagen8_3, 3).
wagen_farbe(wagen8_3, rot).
wagen_laenge(wagen8_3, lang).
hat_wand(wagen8_3, voll).
hat_dach(wagen8_3, verstrebtes_dach).
hat_rad(wagen8_3, 3).
hat_ladung(wagen8_3, blaue_box).
ladungs_nummer(wagen8_3, 1).
hat_fenster(wagen8_3, halb).
hat_wagen(zug8, wagen8_4).
wagen_nummer(wagen8_4, 4).
wagen_farbe(wagen8_4, blau).
wagen_laenge(wagen8_4, kurz).
hat_wand(wagen8_4, gelaender).
hat_dach(wagen8_4, festes_dach).
hat_rad(wagen8_4, 2).
hat_ladung(wagen8_4, fass).
ladungs_nummer(wagen8_4, 1).
hat_fenster(wagen8_4, voll).
hat_wagen(zug8, wagen8_5).
wagen_nummer(wagen8_5, 5).
wagen_farbe(wagen8_5, gruen).
wagen_laenge(wagen8_5, kurz).
hat_wand(wagen8_5, voll).
hat_dach(wagen8_5, festes_dach).
hat_rad(wagen8_5, 2).
hat_ladung(wagen8_5, keine).
ladungs_nummer(wagen8_5, 0).
hat_fenster(wagen8_5, halb).

west(zug9).
hat_wagen(zug9, wagen9_1).
wagen_nummer(wagen9_1, 1).
wagen_farbe(wagen9_1, weiss).
wagen_laenge(wagen9_1, kurz).
hat_wand(wagen9_1, gelaender).
hat_dach(wagen9_1, verstrebtes_dach).
hat_rad(wagen9_1, 2).
hat_ladung(wagen9_1, ovale_vase).
ladungs_nummer(wagen9_1, 1).
hat_fenster(wagen9_1, voll).
hat_wagen(zug9, wagen9_2).
wagen_nummer(wagen9_2, 2).
wagen_farbe(wagen9_2, gelb).
wagen_laenge(wagen9_2, lang).
hat_wand(wagen9_2, voll).
hat_dach(wagen9_2, spitzdach).
hat_rad(wagen9_2, 2).
hat_ladung(wagen9_2, diamant).
ladungs_nummer(wagen9_2, 1).
hat_fenster(wagen9_2, voll).
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, dach_fundament).
hat_rad(wagen9_3, 3).
hat_ladung(wagen9_3, fass).
ladungs_nummer(wagen9_3, 2).
hat_fenster(wagen9_3, halb).
hat_wagen(zug9, wagen9_4).
wagen_nummer(wagen9_4, 4).
wagen_farbe(wagen9_4, rot).
wagen_laenge(wagen9_4, lang).
hat_wand(wagen9_4, voll).
hat_dach(wagen9_4, spitzdach).
hat_rad(wagen9_4, 2).
hat_ladung(wagen9_4, ovale_vase).
ladungs_nummer(wagen9_4, 1).
hat_fenster(wagen9_4, voll).
hat_wagen(zug9, wagen9_5).
wagen_nummer(wagen9_5, 5).
wagen_farbe(wagen9_5, gelb).
wagen_laenge(wagen9_5, kurz).
hat_wand(wagen9_5, gelaender).
hat_dach(wagen9_5, keine).
hat_rad(wagen9_5, 2).
hat_ladung(wagen9_5, ovale_vase).
ladungs_nummer(wagen9_5, 1).
hat_fenster(wagen9_5, voll).

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, gelaender).
hat_dach(wagen10_1, dach_fundament).
hat_rad(wagen10_1, 3).
hat_ladung(wagen10_1, goldene_vase).
ladungs_nummer(wagen10_1, 2).
hat_fenster(wagen10_1, halb).
hat_wagen(zug10, wagen10_2).
wagen_nummer(wagen10_2, 2).
wagen_farbe(wagen10_2, blau).
wagen_laenge(wagen10_2, lang).
hat_wand(wagen10_2, gelaender).
hat_dach(wagen10_2, dach_fundament).
hat_rad(wagen10_2, 3).
hat_ladung(wagen10_2, goldene_vase).
ladungs_nummer(wagen10_2, 2).
hat_fenster(wagen10_2, keine).
hat_wagen(zug10, wagen10_3).
wagen_nummer(wagen10_3, 3).
wagen_farbe(wagen10_3, gelb).
wagen_laenge(wagen10_3, lang).
hat_wand(wagen10_3, voll).
hat_dach(wagen10_3, keine).
hat_rad(wagen10_3, 2).
hat_ladung(wagen10_3, metall_topf).
ladungs_nummer(wagen10_3, 2).
hat_fenster(wagen10_3, halb).
hat_wagen(zug10, wagen10_4).
wagen_nummer(wagen10_4, 4).
wagen_farbe(wagen10_4, weiss).
wagen_laenge(wagen10_4, kurz).
hat_wand(wagen10_4, gelaender).
hat_dach(wagen10_4, spitzdach).
hat_rad(wagen10_4, 2).
hat_ladung(wagen10_4, metall_topf).
ladungs_nummer(wagen10_4, 2).
hat_fenster(wagen10_4, halb).
hat_wagen(zug10, wagen10_5).
wagen_nummer(wagen10_5, 5).
wagen_farbe(wagen10_5, gelb).
wagen_laenge(wagen10_5, kurz).
hat_wand(wagen10_5, voll).
hat_dach(wagen10_5, verstrebtes_dach).
hat_rad(wagen10_5, 2).
hat_ladung(wagen10_5, goldene_vase).
ladungs_nummer(wagen10_5, 1).
hat_fenster(wagen10_5, keine).
hat_wagen(zug10, wagen10_6).
wagen_nummer(wagen10_6, 6).
wagen_farbe(wagen10_6, gruen).
wagen_laenge(wagen10_6, lang).
hat_wand(wagen10_6, gelaender).
hat_dach(wagen10_6, dach_fundament).
hat_rad(wagen10_6, 2).
hat_ladung(wagen10_6, goldene_vase).
ladungs_nummer(wagen10_6, 2).
hat_fenster(wagen10_6, voll).

west(zug11).
hat_wagen(zug11, wagen11_1).
wagen_nummer(wagen11_1, 1).
wagen_farbe(wagen11_1, blau).
wagen_laenge(wagen11_1, kurz).
hat_wand(wagen11_1, gelaender).
hat_dach(wagen11_1, festes_dach).
hat_rad(wagen11_1, 2).
hat_ladung(wagen11_1, ovale_vase).
ladungs_nummer(wagen11_1, 1).
hat_fenster(wagen11_1, halb).
hat_wagen(zug11, wagen11_2).
wagen_nummer(wagen11_2, 2).
wagen_farbe(wagen11_2, weiss).
wagen_laenge(wagen11_2, kurz).
hat_wand(wagen11_2, voll).
hat_dach(wagen11_2, keine).
hat_rad(wagen11_2, 2).
hat_ladung(wagen11_2, keine).
ladungs_nummer(wagen11_2, 0).
hat_fenster(wagen11_2, voll).
hat_wagen(zug11, wagen11_3).
wagen_nummer(wagen11_3, 3).
wagen_farbe(wagen11_3, blau).
wagen_laenge(wagen11_3, lang).
hat_wand(wagen11_3, voll).
hat_dach(wagen11_3, dach_fundament).
hat_rad(wagen11_3, 3).
hat_ladung(wagen11_3, goldene_vase).
ladungs_nummer(wagen11_3, 1).
hat_fenster(wagen11_3, halb).
hat_wagen(zug11, wagen11_4).
wagen_nummer(wagen11_4, 4).
wagen_farbe(wagen11_4, gruen).
wagen_laenge(wagen11_4, lang).
hat_wand(wagen11_4, gelaender).
hat_dach(wagen11_4, festes_dach).
hat_rad(wagen11_4, 3).
hat_ladung(wagen11_4, fass).
ladungs_nummer(wagen11_4, 3).
hat_fenster(wagen11_4, halb).
hat_wagen(zug11, wagen11_5).
wagen_nummer(wagen11_5, 5).
wagen_farbe(wagen11_5, blau).
wagen_laenge(wagen11_5, lang).
hat_wand(wagen11_5, voll).
hat_dach(wagen11_5, festes_dach).
hat_rad(wagen11_5, 3).
hat_ladung(wagen11_5, keine).
ladungs_nummer(wagen11_5, 0).
hat_fenster(wagen11_5, keine).
hat_wagen(zug11, wagen11_6).
wagen_nummer(wagen11_6, 6).
wagen_farbe(wagen11_6, blau).
wagen_laenge(wagen11_6, lang).
hat_wand(wagen11_6, gelaender).
hat_dach(wagen11_6, spitzdach).
hat_rad(wagen11_6, 2).
hat_ladung(wagen11_6, fass).
ladungs_nummer(wagen11_6, 2).
hat_fenster(wagen11_6, keine).

west(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, gelaender).
hat_dach(wagen12_1, dach_fundament).
hat_rad(wagen12_1, 2).
hat_ladung(wagen12_1, blaue_box).
ladungs_nummer(wagen12_1, 1).
hat_fenster(wagen12_1, keine).
hat_wagen(zug12, wagen12_2).
wagen_nummer(wagen12_2, 2).
wagen_farbe(wagen12_2, gelb).
wagen_laenge(wagen12_2, kurz).
hat_wand(wagen12_2, gelaender).
hat_dach(wagen12_2, keine).
hat_rad(wagen12_2, 2).
hat_ladung(wagen12_2, fass).
ladungs_nummer(wagen12_2, 1).
hat_fenster(wagen12_2, keine).
hat_wagen(zug12, wagen12_3).
wagen_nummer(wagen12_3, 3).
wagen_farbe(wagen12_3, weiss).
wagen_laenge(wagen12_3, lang).
hat_wand(wagen12_3, voll).
hat_dach(wagen12_3, verstrebtes_dach).
hat_rad(wagen12_3, 3).
hat_ladung(wagen12_3, fass).
ladungs_nummer(wagen12_3, 1).
hat_fenster(wagen12_3, keine).
hat_wagen(zug12, wagen12_4).
wagen_nummer(wagen12_4, 4).
wagen_farbe(wagen12_4, weiss).
wagen_laenge(wagen12_4, kurz).
hat_wand(wagen12_4, voll).
hat_dach(wagen12_4, dach_fundament).
hat_rad(wagen12_4, 2).
hat_ladung(wagen12_4, metall_topf).
ladungs_nummer(wagen12_4, 2).
hat_fenster(wagen12_4, halb).
hat_wagen(zug12, wagen12_5).
wagen_nummer(wagen12_5, 5).
wagen_farbe(wagen12_5, gruen).
wagen_laenge(wagen12_5, kurz).
hat_wand(wagen12_5, gelaender).
hat_dach(wagen12_5, verstrebtes_dach).
hat_rad(wagen12_5, 2).
hat_ladung(wagen12_5, metall_topf).
ladungs_nummer(wagen12_5, 1).
hat_fenster(wagen12_5, voll).
hat_wagen(zug12, wagen12_6).
wagen_nummer(wagen12_6, 6).
wagen_farbe(wagen12_6, gruen).
wagen_laenge(wagen12_6, lang).
hat_wand(wagen12_6, voll).
hat_dach(wagen12_6, keine).
hat_rad(wagen12_6, 2).
hat_ladung(wagen12_6, diamant).
ladungs_nummer(wagen12_6, 3).
hat_fenster(wagen12_6, halb).

ost(zug13).
hat_wagen(zug13, wagen13_1).
wagen_nummer(wagen13_1, 1).
wagen_farbe(wagen13_1, weiss).
wagen_laenge(wagen13_1, kurz).
hat_wand(wagen13_1, gelaender).
hat_dach(wagen13_1, keine).
hat_rad(wagen13_1, 2).
hat_ladung(wagen13_1, ovale_vase).
ladungs_nummer(wagen13_1, 1).
hat_fenster(wagen13_1, keine).
hat_wagen(zug13, wagen13_2).
wagen_nummer(wagen13_2, 2).
wagen_farbe(wagen13_2, blau).
wagen_laenge(wagen13_2, lang).
hat_wand(wagen13_2, voll).
hat_dach(wagen13_2, festes_dach).
hat_rad(wagen13_2, 2).
hat_ladung(wagen13_2, keine).
ladungs_nummer(wagen13_2, 0).
hat_fenster(wagen13_2, voll).
hat_wagen(zug13, wagen13_3).
wagen_nummer(wagen13_3, 3).
wagen_farbe(wagen13_3, blau).
wagen_laenge(wagen13_3, lang).
hat_wand(wagen13_3, voll).
hat_dach(wagen13_3, dach_fundament).
hat_rad(wagen13_3, 2).
hat_ladung(wagen13_3, ovale_vase).
ladungs_nummer(wagen13_3, 1).
hat_fenster(wagen13_3, keine).
hat_wagen(zug13, wagen13_4).
wagen_nummer(wagen13_4, 4).
wagen_farbe(wagen13_4, weiss).
wagen_laenge(wagen13_4, lang).
hat_wand(wagen13_4, gelaender).
hat_dach(wagen13_4, dach_fundament).
hat_rad(wagen13_4, 3).
hat_ladung(wagen13_4, blaue_box).
ladungs_nummer(wagen13_4, 3).
hat_fenster(wagen13_4, keine).
hat_wagen(zug13, wagen13_5).
wagen_nummer(wagen13_5, 5).
wagen_farbe(wagen13_5, weiss).
wagen_laenge(wagen13_5, lang).
hat_wand(wagen13_5, voll).
hat_dach(wagen13_5, spitzdach).
hat_rad(wagen13_5, 3).
hat_ladung(wagen13_5, diamant).
ladungs_nummer(wagen13_5, 3).
hat_fenster(wagen13_5, voll).

ost(zug14).
hat_wagen(zug14, wagen14_1).
wagen_nummer(wagen14_1, 1).
wagen_farbe(wagen14_1, rot).
wagen_laenge(wagen14_1, kurz).
hat_wand(wagen14_1, voll).
hat_dach(wagen14_1, dach_fundament).
hat_rad(wagen14_1, 2).
hat_ladung(wagen14_1, keine).
ladungs_nummer(wagen14_1, 0).
hat_fenster(wagen14_1, halb).
hat_wagen(zug14, wagen14_2).
wagen_nummer(wagen14_2, 2).
wagen_farbe(wagen14_2, gelb).
wagen_laenge(wagen14_2, kurz).
hat_wand(wagen14_2, voll).
hat_dach(wagen14_2, dach_fundament).
hat_rad(wagen14_2, 2).
hat_ladung(wagen14_2, diamant).
ladungs_nummer(wagen14_2, 2).
hat_fenster(wagen14_2, keine).
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, spitzdach).
hat_rad(wagen14_3, 2).
hat_ladung(wagen14_3, metall_topf).
ladungs_nummer(wagen14_3, 2).
hat_fenster(wagen14_3, keine).
hat_wagen(zug14, wagen14_4).
wagen_nummer(wagen14_4, 4).
wagen_farbe(wagen14_4, gruen).
wagen_laenge(wagen14_4, lang).
hat_wand(wagen14_4, gelaender).
hat_dach(wagen14_4, keine).
hat_rad(wagen14_4, 2).
hat_ladung(wagen14_4, blaue_box).
ladungs_nummer(wagen14_4, 3).
hat_fenster(wagen14_4, halb).
hat_wagen(zug14, wagen14_5).
wagen_nummer(wagen14_5, 5).
wagen_farbe(wagen14_5, gelb).
wagen_laenge(wagen14_5, kurz).
hat_wand(wagen14_5, voll).
hat_dach(wagen14_5, dach_fundament).
hat_rad(wagen14_5, 2).
hat_ladung(wagen14_5, diamant).
ladungs_nummer(wagen14_5, 1).
hat_fenster(wagen14_5, voll).

ost(zug15).
hat_wagen(zug15, wagen15_1).
wagen_nummer(wagen15_1, 1).
wagen_farbe(wagen15_1, blau).
wagen_laenge(wagen15_1, lang).
hat_wand(wagen15_1, voll).
hat_dach(wagen15_1, keine).
hat_rad(wagen15_1, 2).
hat_ladung(wagen15_1, fass).
ladungs_nummer(wagen15_1, 1).
hat_fenster(wagen15_1, halb).
hat_wagen(zug15, wagen15_2).
wagen_nummer(wagen15_2, 2).
wagen_farbe(wagen15_2, blau).
wagen_laenge(wagen15_2, lang).
hat_wand(wagen15_2, voll).
hat_dach(wagen15_2, dach_fundament).
hat_rad(wagen15_2, 2).
hat_ladung(wagen15_2, diamant).
ladungs_nummer(wagen15_2, 1).
hat_fenster(wagen15_2, voll).
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, verstrebtes_dach).
hat_rad(wagen15_3, 3).
hat_ladung(wagen15_3, blaue_box).
ladungs_nummer(wagen15_3, 3).
hat_fenster(wagen15_3, keine).
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, spitzdach).
hat_rad(wagen15_4, 2).
hat_ladung(wagen15_4, blaue_box).
ladungs_nummer(wagen15_4, 2).
hat_fenster(wagen15_4, halb).
hat_wagen(zug15, wagen15_5).
wagen_nummer(wagen15_5, 5).
wagen_farbe(wagen15_5, gelb).
wagen_laenge(wagen15_5, kurz).
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, keine).

ost(zug16).
hat_wagen(zug16, wagen16_1).
wagen_nummer(wagen16_1, 1).
wagen_farbe(wagen16_1, gruen).
wagen_laenge(wagen16_1, kurz).
hat_wand(wagen16_1, voll).
hat_dach(wagen16_1, festes_dach).
hat_rad(wagen16_1, 2).
hat_ladung(wagen16_1, blaue_box).
ladungs_nummer(wagen16_1, 1).
hat_fenster(wagen16_1, keine).
hat_wagen(zug16, wagen16_2).
wagen_nummer(wagen16_2, 2).
wagen_farbe(wagen16_2, gruen).
wagen_laenge(wagen16_2, lang).
hat_wand(wagen16_2, voll).
hat_dach(wagen16_2, festes_dach).
hat_rad(wagen16_2, 2).
hat_ladung(wagen16_2, keine).
ladungs_nummer(wagen16_2, 0).
hat_fenster(wagen16_2, halb).
hat_wagen(zug16, wagen16_3).
wagen_nummer(wagen16_3, 3).
wagen_farbe(wagen16_3, gruen).
wagen_laenge(wagen16_3, lang).
hat_wand(wagen16_3, gelaender).
hat_dach(wagen16_3, spitzdach).
hat_rad(wagen16_3, 2).
hat_ladung(wagen16_3, keine).
ladungs_nummer(wagen16_3, 0).
hat_fenster(wagen16_3, halb).
hat_wagen(zug16, wagen16_4).
wagen_nummer(wagen16_4, 4).
wagen_farbe(wagen16_4, gruen).
wagen_laenge(wagen16_4, kurz).
hat_wand(wagen16_4, gelaender).
hat_dach(wagen16_4, verstrebtes_dach).
hat_rad(wagen16_4, 2).
hat_ladung(wagen16_4, ovale_vase).
ladungs_nummer(wagen16_4, 2).
hat_fenster(wagen16_4, halb).
hat_wagen(zug16, wagen16_5).
wagen_nummer(wagen16_5, 5).
wagen_farbe(wagen16_5, weiss).
wagen_laenge(wagen16_5, lang).
hat_wand(wagen16_5, voll).
hat_dach(wagen16_5, keine).
hat_rad(wagen16_5, 3).
hat_ladung(wagen16_5, blaue_box).
ladungs_nummer(wagen16_5, 3).
hat_fenster(wagen16_5, halb).
hat_wagen(zug16, wagen16_6).
wagen_nummer(wagen16_6, 6).
wagen_farbe(wagen16_6, gruen).
wagen_laenge(wagen16_6, kurz).
hat_wand(wagen16_6, voll).
hat_dach(wagen16_6, spitzdach).
hat_rad(wagen16_6, 2).
hat_ladung(wagen16_6, blaue_box).
ladungs_nummer(wagen16_6, 2).
hat_fenster(wagen16_6, halb).

ost(zug17).
hat_wagen(zug17, wagen17_1).
wagen_nummer(wagen17_1, 1).
wagen_farbe(wagen17_1, weiss).
wagen_laenge(wagen17_1, lang).
hat_wand(wagen17_1, voll).
hat_dach(wagen17_1, dach_fundament).
hat_rad(wagen17_1, 2).
hat_ladung(wagen17_1, blaue_box).
ladungs_nummer(wagen17_1, 1).
hat_fenster(wagen17_1, halb).
hat_wagen(zug17, wagen17_2).
wagen_nummer(wagen17_2, 2).
wagen_farbe(wagen17_2, rot).
wagen_laenge(wagen17_2, kurz).
hat_wand(wagen17_2, gelaender).
hat_dach(wagen17_2, spitzdach).
hat_rad(wagen17_2, 2).
hat_ladung(wagen17_2, metall_topf).
ladungs_nummer(wagen17_2, 2).
hat_fenster(wagen17_2, keine).
hat_wagen(zug17, wagen17_3).
wagen_nummer(wagen17_3, 3).
wagen_farbe(wagen17_3, weiss).
wagen_laenge(wagen17_3, lang).
hat_wand(wagen17_3, voll).
hat_dach(wagen17_3, keine).
hat_rad(wagen17_3, 3).
hat_ladung(wagen17_3, metall_topf).
ladungs_nummer(wagen17_3, 1).
hat_fenster(wagen17_3, keine).
hat_wagen(zug17, wagen17_4).
wagen_nummer(wagen17_4, 4).
wagen_farbe(wagen17_4, blau).
wagen_laenge(wagen17_4, kurz).
hat_wand(wagen17_4, voll).
hat_dach(wagen17_4, keine).
hat_rad(wagen17_4, 2).
hat_ladung(wagen17_4, keine).
ladungs_nummer(wagen17_4, 0).
hat_fenster(wagen17_4, voll).
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, spitzdach).
hat_rad(wagen17_5, 2).
hat_ladung(wagen17_5, blaue_box).
ladungs_nummer(wagen17_5, 3).
hat_fenster(wagen17_5, halb).
hat_wagen(zug17, wagen17_6).
wagen_nummer(wagen17_6, 6).
wagen_farbe(wagen17_6, weiss).
wagen_laenge(wagen17_6, kurz).
hat_wand(wagen17_6, voll).
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).

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

ost(zug19).
hat_wagen(zug19, wagen19_1).
wagen_nummer(wagen19_1, 1).
wagen_farbe(wagen19_1, rot).
wagen_laenge(wagen19_1, lang).
hat_wand(wagen19_1, gelaender).
hat_dach(wagen19_1, dach_fundament).
hat_rad(wagen19_1, 3).
hat_ladung(wagen19_1, fass).
ladungs_nummer(wagen19_1, 3).
hat_fenster(wagen19_1, keine).
hat_wagen(zug19, wagen19_2).
wagen_nummer(wagen19_2, 2).
wagen_farbe(wagen19_2, gruen).
wagen_laenge(wagen19_2, lang).
hat_wand(wagen19_2, voll).
hat_dach(wagen19_2, dach_fundament).
hat_rad(wagen19_2, 3).
hat_ladung(wagen19_2, blaue_box).
ladungs_nummer(wagen19_2, 3).
hat_fenster(wagen19_2, keine).
hat_wagen(zug19, wagen19_3).
wagen_nummer(wagen19_3, 3).
wagen_farbe(wagen19_3, blau).
wagen_laenge(wagen19_3, kurz).
hat_wand(wagen19_3, voll).
hat_dach(wagen19_3, spitzdach).
hat_rad(wagen19_3, 2).
hat_ladung(wagen19_3, keine).
ladungs_nummer(wagen19_3, 0).
hat_fenster(wagen19_3, keine).
hat_wagen(zug19, wagen19_4).
wagen_nummer(wagen19_4, 4).
wagen_farbe(wagen19_4, gruen).
wagen_laenge(wagen19_4, lang).
hat_wand(wagen19_4, voll).
hat_dach(wagen19_4, keine).
hat_rad(wagen19_4, 3).
hat_ladung(wagen19_4, diamant).
ladungs_nummer(wagen19_4, 1).
hat_fenster(wagen19_4, halb).
hat_wagen(zug19, wagen19_5).
wagen_nummer(wagen19_5, 5).
wagen_farbe(wagen19_5, rot).
wagen_laenge(wagen19_5, lang).
hat_wand(wagen19_5, gelaender).
hat_dach(wagen19_5, spitzdach).
hat_rad(wagen19_5, 3).
hat_ladung(wagen19_5, blaue_box).
ladungs_nummer(wagen19_5, 2).
hat_fenster(wagen19_5, halb).

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

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, voll).
hat_dach(wagen21_1, spitzdach).
hat_rad(wagen21_1, 2).
hat_ladung(wagen21_1, diamant).
ladungs_nummer(wagen21_1, 2).
hat_fenster(wagen21_1, halb).
hat_wagen(zug21, wagen21_2).
wagen_nummer(wagen21_2, 2).
wagen_farbe(wagen21_2, blau).
wagen_laenge(wagen21_2, lang).
hat_wand(wagen21_2, voll).
hat_dach(wagen21_2, dach_fundament).
hat_rad(wagen21_2, 2).
hat_ladung(wagen21_2, blaue_box).
ladungs_nummer(wagen21_2, 2).
hat_fenster(wagen21_2, halb).
hat_wagen(zug21, wagen21_3).
wagen_nummer(wagen21_3, 3).
wagen_farbe(wagen21_3, blau).
wagen_laenge(wagen21_3, lang).
hat_wand(wagen21_3, voll).
hat_dach(wagen21_3, dach_fundament).
hat_rad(wagen21_3, 2).
hat_ladung(wagen21_3, blaue_box).
ladungs_nummer(wagen21_3, 3).
hat_fenster(wagen21_3, voll).
hat_wagen(zug21, wagen21_4).
wagen_nummer(wagen21_4, 4).
wagen_farbe(wagen21_4, blau).
wagen_laenge(wagen21_4, kurz).
hat_wand(wagen21_4, voll).
hat_dach(wagen21_4, spitzdach).
hat_rad(wagen21_4, 2).
hat_ladung(wagen21_4, metall_topf).
ladungs_nummer(wagen21_4, 1).
hat_fenster(wagen21_4, halb).
hat_wagen(zug21, wagen21_5).
wagen_nummer(wagen21_5, 5).
wagen_farbe(wagen21_5, rot).
wagen_laenge(wagen21_5, kurz).
hat_wand(wagen21_5, gelaender).
hat_dach(wagen21_5, festes_dach).
hat_rad(wagen21_5, 2).
hat_ladung(wagen21_5, fass).
ladungs_nummer(wagen21_5, 2).
hat_fenster(wagen21_5, voll).
hat_wagen(zug21, wagen21_6).
wagen_nummer(wagen21_6, 6).
wagen_farbe(wagen21_6, gruen).
wagen_laenge(wagen21_6, lang).
hat_wand(wagen21_6, gelaender).
hat_dach(wagen21_6, verstrebtes_dach).
hat_rad(wagen21_6, 2).
hat_ladung(wagen21_6, ovale_vase).
ladungs_nummer(wagen21_6, 2).
hat_fenster(wagen21_6, halb).

ost(zug22).
hat_wagen(zug22, wagen22_1).
wagen_nummer(wagen22_1, 1).
wagen_farbe(wagen22_1, blau).
wagen_laenge(wagen22_1, lang).
hat_wand(wagen22_1, gelaender).
hat_dach(wagen22_1, festes_dach).
hat_rad(wagen22_1, 2).
hat_ladung(wagen22_1, keine).
ladungs_nummer(wagen22_1, 0).
hat_fenster(wagen22_1, keine).
hat_wagen(zug22, wagen22_2).
wagen_nummer(wagen22_2, 2).
wagen_farbe(wagen22_2, weiss).
wagen_laenge(wagen22_2, lang).
hat_wand(wagen22_2, voll).
hat_dach(wagen22_2, festes_dach).
hat_rad(wagen22_2, 3).
hat_ladung(wagen22_2, blaue_box).
ladungs_nummer(wagen22_2, 3).
hat_fenster(wagen22_2, keine).
hat_wagen(zug22, wagen22_3).
wagen_nummer(wagen22_3, 3).
wagen_farbe(wagen22_3, blau).
wagen_laenge(wagen22_3, lang).
hat_wand(wagen22_3, gelaender).
hat_dach(wagen22_3, festes_dach).
hat_rad(wagen22_3, 2).
hat_ladung(wagen22_3, metall_topf).
ladungs_nummer(wagen22_3, 3).
hat_fenster(wagen22_3, halb).
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, keine).
hat_rad(wagen22_4, 2).
hat_ladung(wagen22_4, ovale_vase).
ladungs_nummer(wagen22_4, 1).
hat_fenster(wagen22_4, keine).
hat_wagen(zug22, wagen22_5).
wagen_nummer(wagen22_5, 5).
wagen_farbe(wagen22_5, rot).
wagen_laenge(wagen22_5, kurz).
hat_wand(wagen22_5, voll).
hat_dach(wagen22_5, keine).
hat_rad(wagen22_5, 2).
hat_ladung(wagen22_5, keine).
ladungs_nummer(wagen22_5, 0).
hat_fenster(wagen22_5, voll).

ost(zug23).
hat_wagen(zug23, wagen23_1).
wagen_nummer(wagen23_1, 1).
wagen_farbe(wagen23_1, blau).
wagen_laenge(wagen23_1, kurz).
hat_wand(wagen23_1, gelaender).
hat_dach(wagen23_1, dach_fundament).
hat_rad(wagen23_1, 2).
hat_ladung(wagen23_1, diamant).
ladungs_nummer(wagen23_1, 1).
hat_fenster(wagen23_1, halb).
hat_wagen(zug23, wagen23_2).
wagen_nummer(wagen23_2, 2).
wagen_farbe(wagen23_2, weiss).
wagen_laenge(wagen23_2, lang).
hat_wand(wagen23_2, voll).
hat_dach(wagen23_2, dach_fundament).
hat_rad(wagen23_2, 3).
hat_ladung(wagen23_2, blaue_box).
ladungs_nummer(wagen23_2, 3).
hat_fenster(wagen23_2, keine).
hat_wagen(zug23, wagen23_3).
wagen_nummer(wagen23_3, 3).
wagen_farbe(wagen23_3, weiss).
wagen_laenge(wagen23_3, kurz).
hat_wand(wagen23_3, voll).
hat_dach(wagen23_3, verstrebtes_dach).
hat_rad(wagen23_3, 2).
hat_ladung(wagen23_3, blaue_box).
ladungs_nummer(wagen23_3, 2).
hat_fenster(wagen23_3, keine).
hat_wagen(zug23, wagen23_4).
wagen_nummer(wagen23_4, 4).
wagen_farbe(wagen23_4, gelb).
wagen_laenge(wagen23_4, kurz).
hat_wand(wagen23_4, voll).
hat_dach(wagen23_4, dach_fundament).
hat_rad(wagen23_4, 2).
hat_ladung(wagen23_4, goldene_vase).
ladungs_nummer(wagen23_4, 1).
hat_fenster(wagen23_4, keine).
hat_wagen(zug23, wagen23_5).
wagen_nummer(wagen23_5, 5).
wagen_farbe(wagen23_5, rot).
wagen_laenge(wagen23_5, kurz).
hat_wand(wagen23_5, voll).
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).

ost(zug24).
hat_wagen(zug24, wagen24_1).
wagen_nummer(wagen24_1, 1).
wagen_farbe(wagen24_1, gelb).
wagen_laenge(wagen24_1, lang).
hat_wand(wagen24_1, voll).
hat_dach(wagen24_1, spitzdach).
hat_rad(wagen24_1, 3).
hat_ladung(wagen24_1, goldene_vase).
ladungs_nummer(wagen24_1, 3).
hat_fenster(wagen24_1, halb).
hat_wagen(zug24, wagen24_2).
wagen_nummer(wagen24_2, 2).
wagen_farbe(wagen24_2, gruen).
wagen_laenge(wagen24_2, kurz).
hat_wand(wagen24_2, gelaender).
hat_dach(wagen24_2, keine).
hat_rad(wagen24_2, 2).
hat_ladung(wagen24_2, goldene_vase).
ladungs_nummer(wagen24_2, 2).
hat_fenster(wagen24_2, voll).
hat_wagen(zug24, wagen24_3).
wagen_nummer(wagen24_3, 3).
wagen_farbe(wagen24_3, rot).
wagen_laenge(wagen24_3, kurz).
hat_wand(wagen24_3, voll).
hat_dach(wagen24_3, festes_dach).
hat_rad(wagen24_3, 2).
hat_ladung(wagen24_3, keine).
ladungs_nummer(wagen24_3, 0).
hat_fenster(wagen24_3, keine).
hat_wagen(zug24, wagen24_4).
wagen_nummer(wagen24_4, 4).
wagen_farbe(wagen24_4, gelb).
wagen_laenge(wagen24_4, kurz).
hat_wand(wagen24_4, voll).
hat_dach(wagen24_4, spitzdach).
hat_rad(wagen24_4, 2).
hat_ladung(wagen24_4, metall_topf).
ladungs_nummer(wagen24_4, 1).
hat_fenster(wagen24_4, voll).
hat_wagen(zug24, wagen24_5).
wagen_nummer(wagen24_5, 5).
wagen_farbe(wagen24_5, weiss).
wagen_laenge(wagen24_5, lang).
hat_wand(wagen24_5, voll).
hat_dach(wagen24_5, keine).
hat_rad(wagen24_5, 2).
hat_ladung(wagen24_5, metall_topf).
ladungs_nummer(wagen24_5, 1).
hat_fenster(wagen24_5, halb).
hat_wagen(zug24, wagen24_6).
wagen_nummer(wagen24_6, 6).
wagen_farbe(wagen24_6, weiss).
wagen_laenge(wagen24_6, lang).
hat_wand(wagen24_6, voll).
hat_dach(wagen24_6, keine).
hat_rad(wagen24_6, 3).
hat_ladung(wagen24_6, blaue_box).
ladungs_nummer(wagen24_6, 3).
hat_fenster(wagen24_6, voll).

ost(zug25).
hat_wagen(zug25, wagen25_1).
wagen_nummer(wagen25_1, 1).
wagen_farbe(wagen25_1, gelb).
wagen_laenge(wagen25_1, lang).
hat_wand(wagen25_1, voll).
hat_dach(wagen25_1, dach_fundament).
hat_rad(wagen25_1, 2).
hat_ladung(wagen25_1, ovale_vase).
ladungs_nummer(wagen25_1, 1).
hat_fenster(wagen25_1, voll).
hat_wagen(zug25, wagen25_2).
wagen_nummer(wagen25_2, 2).
wagen_farbe(wagen25_2, rot).
wagen_laenge(wagen25_2, lang).
hat_wand(wagen25_2, gelaender).
hat_dach(wagen25_2, keine).
hat_rad(wagen25_2, 3).
hat_ladung(wagen25_2, blaue_box).
ladungs_nummer(wagen25_2, 2).
hat_fenster(wagen25_2, halb).
hat_wagen(zug25, wagen25_3).
wagen_nummer(wagen25_3, 3).
wagen_farbe(wagen25_3, gruen).
wagen_laenge(wagen25_3, kurz).
hat_wand(wagen25_3, gelaender).
hat_dach(wagen25_3, festes_dach).
hat_rad(wagen25_3, 2).
hat_ladung(wagen25_3, blaue_box).
ladungs_nummer(wagen25_3, 2).
hat_fenster(wagen25_3, keine).
hat_wagen(zug25, wagen25_4).
wagen_nummer(wagen25_4, 4).
wagen_farbe(wagen25_4, gelb).
wagen_laenge(wagen25_4, kurz).
hat_wand(wagen25_4, voll).
hat_dach(wagen25_4, dach_fundament).
hat_rad(wagen25_4, 2).
hat_ladung(wagen25_4, keine).
ladungs_nummer(wagen25_4, 0).
hat_fenster(wagen25_4, voll).
hat_wagen(zug25, wagen25_5).
wagen_nummer(wagen25_5, 5).
wagen_farbe(wagen25_5, weiss).
wagen_laenge(wagen25_5, lang).
hat_wand(wagen25_5, gelaender).
hat_dach(wagen25_5, festes_dach).
hat_rad(wagen25_5, 2).
hat_ladung(wagen25_5, blaue_box).
ladungs_nummer(wagen25_5, 3).
hat_fenster(wagen25_5, keine).


west 183 1 gelb kurz gelaender verstrebtes_dach 2 metall_topf 1 keine 2 rot kurz gelaender dach_fundament 2 keine 0 halb 3 blau lang voll keine 3 ovale_vase 1 voll 4 blau kurz gelaender spitzdach 2 goldene_vase 2 keine 5 gelb kurz voll festes_dach 2 goldene_vase 1 voll
west 23 1 blau lang gelaender festes_dach 2 blaue_box 2 keine 2 rot lang gelaender keine 2 keine 0 keine 3 blau lang voll dach_fundament 3 keine 0 keine 4 blau kurz gelaender keine 2 diamant 2 halb 5 blau lang voll verstrebtes_dach 2 keine 0 keine 6 weiss lang gelaender keine 2 ovale_vase 3 halb
west 233 1 rot lang voll festes_dach 3 metall_topf 3 keine 2 gelb lang gelaender verstrebtes_dach 3 fass 3 keine 3 gelb lang voll dach_fundament 2 keine 0 voll 4 gruen kurz voll dach_fundament 2 blaue_box 1 voll 5 weiss lang gelaender keine 2 ovale_vase 2 voll
west -52 1 weiss lang voll spitzdach 3 keine 0 keine 2 gelb lang gelaender spitzdach 2 ovale_vase 3 keine 3 weiss lang voll verstrebtes_dach 2 goldene_vase 3 halb 4 blau lang gelaender festes_dach 2 goldene_vase 3 voll 5 blau lang gelaender verstrebtes_dach 2 ovale_vase 1 voll
west -50 1 gruen kurz gelaender festes_dach 2 diamant 2 halb 2 weiss lang gelaender keine 2 goldene_vase 2 voll 3 gelb lang voll festes_dach 3 fass 3 halb 4 rot lang voll verstrebtes_dach 3 metall_topf 2 voll 5 blau kurz voll spitzdach 2 fass 2 halb 6 blau kurz gelaender verstrebtes_dach 2 keine 0 keine
west 172 1 rot lang gelaender spitzdach 2 metall_topf 3 halb 2 gruen kurz voll spitzdach 2 goldene_vase 2 halb 3 weiss kurz voll spitzdach 2 keine 0 voll 4 blau lang gelaender festes_dach 2 blaue_box 2 halb 5 gruen kurz gelaender spitzdach 2 keine 0 halb
west -36 1 rot kurz gelaender verstrebtes_dach 2 ovale_vase 2 keine 2 gruen kurz voll dach_fundament 2 keine 0 halb 3 blau kurz voll festes_dach 2 ovale_vase 2 voll 4 blau lang voll dach_fundament 3 metall_topf 3 voll 5 gelb kurz voll spitzdach 2 keine 0 voll 6 gelb kurz gelaender spitzdach 2 goldene_vase 1 voll
west -13 1 weiss lang voll keine 3 goldene_vase 2 halb 2 blau lang gelaender keine 2 keine 0 voll 3 rot lang gelaender verstrebtes_dach 3 fass 3 keine 4 rot kurz voll verstrebtes_dach 2 keine 0 voll 5 gruen lang gelaender dach_fundament 2 blaue_box 2 keine
west -11 1 rot lang gelaender festes_dach 3 metall_topf 1 keine 2 gruen kurz gelaender keine 2 blaue_box 2 halb 3 rot lang voll verstrebtes_dach 3 blaue_box 1 halb 4 blau kurz gelaender festes_dach 2 fass 1 voll 5 gruen kurz voll festes_dach 2 keine 0 halb
west 125 1 weiss kurz gelaender verstrebtes_dach 2 ovale_vase 1 voll 2 gelb lang voll spitzdach 2 diamant 1 voll 3 weiss lang gelaender dach_fundament 3 fass 2 halb 4 rot lang voll spitzdach 2 ovale_vase 1 voll 5 gelb kurz gelaender keine 2 ovale_vase 1 voll
west -9 1 rot lang gelaender dach_fundament 3 goldene_vase 2 halb 2 blau lang gelaender dach_fundament 3 goldene_vase 2 keine 3 gelb lang voll keine 2 metall_topf 2 halb 4 weiss kurz gelaender spitzdach 2 metall_topf 2 halb 5 gelb kurz voll verstrebtes_dach 2 goldene_vase 1 keine 6 gruen lang gelaender dach_fundament 2 goldene_vase 2 voll
west 130 1 blau kurz gelaender festes_dach 2 ovale_vase 1 halb 2 weiss kurz voll keine 2 keine 0 voll 3 blau lang voll dach_fundament 3 goldene_vase 1 halb 4 gruen lang gelaender festes_dach 3 fass 3 halb 5 blau lang voll festes_dach 3 keine 0 keine 6 blau lang gelaender spitzdach 2 fass 2 keine
west -43 1 weiss lang gelaender dach_fundament 2 blaue_box 1 keine 2 gelb kurz gelaender keine 2 fass 1 keine 3 weiss lang voll verstrebtes_dach 3 fass 1 keine 4 weiss kurz voll dach_fundament 2 metall_topf 2 halb 5 gruen kurz gelaender verstrebtes_dach 2 metall_topf 1 voll 6 gruen lang voll keine 2 diamant 3 halb
ost -39 1 weiss kurz gelaender keine 2 ovale_vase 1 keine 2 blau lang voll festes_dach 2 keine 0 voll 3 blau lang voll dach_fundament 2 ovale_vase 1 keine 4 weiss lang gelaender dach_fundament 3 blaue_box 3 keine 5 weiss lang voll spitzdach 3 diamant 3 voll
ost 235 1 rot kurz voll dach_fundament 2 keine 0 halb 2 gelb kurz voll dach_fundament 2 diamant 2 keine 3 rot kurz voll spitzdach 2 metall_topf 2 keine 4 gruen lang gelaender keine 2 blaue_box 3 halb 5 gelb kurz voll dach_fundament 2 diamant 1 voll
ost 7 1 blau lang voll keine 2 fass 1 halb 2 blau lang voll dach_fundament 2 diamant 1 voll 3 gelb lang voll verstrebtes_dach 3 blaue_box 3 keine 4 blau kurz voll spitzdach 2 blaue_box 2 halb 5 gelb kurz voll festes_dach 2 keine 0 keine
ost 37 1 gruen kurz voll festes_dach 2 blaue_box 1 keine 2 gruen lang voll festes_dach 2 keine 0 halb 3 gruen lang gelaender spitzdach 2 keine 0 halb 4 gruen kurz gelaender verstrebtes_dach 2 ovale_vase 2 halb 5 weiss lang voll keine 3 blaue_box 3 halb 6 gruen kurz voll spitzdach 2 blaue_box 2 halb
ost 48 1 weiss lang voll dach_fundament 2 blaue_box 1 halb 2 rot kurz gelaender spitzdach 2 metall_topf 2 keine 3 weiss lang voll keine 3 metall_topf 1 keine 4 blau kurz voll keine 2 keine 0 voll 5 gruen lang voll spitzdach 2 blaue_box 3 halb 6 weiss kurz voll dach_fundament 2 keine 0 halb
ost 39 1 gruen kurz gelaender dach_fundament 2 keine 0 keine 2 gruen lang voll festes_dach 2 blaue_box 3 halb 3 blau kurz voll festes_dach 2 diamant 1 halb 4 gelb lang voll spitzdach 2 keine 0 keine 5 weiss kurz gelaender festes_dach 2 fass 2 halb
ost 196 1 rot lang gelaender dach_fundament 3 fass 3 keine 2 gruen lang voll dach_fundament 3 blaue_box 3 keine 3 blau kurz voll spitzdach 2 keine 0 keine 4 gruen lang voll keine 3 diamant 1 halb 5 rot lang gelaender spitzdach 3 blaue_box 2 halb
ost 140 1 blau kurz voll verstrebtes_dach 2 blaue_box 1 keine 2 weiss kurz gelaender spitzdach 2 fass 1 halb 3 rot lang gelaender keine 3 keine 0 halb 4 rot lang gelaender keine 2 blaue_box 3 voll 5 gruen kurz voll verstrebtes_dach 2 keine 0 voll
ost 129 1 weiss lang voll spitzdach 2 diamant 2 halb 2 blau lang voll dach_fundament 2 blaue_box 2 halb 3 blau lang voll dach_fundament 2 blaue_box 3 voll 4 blau kurz voll spitzdach 2 metall_topf 1 halb 5 rot kurz gelaender festes_dach 2 fass 2 voll 6 gruen lang gelaender verstrebtes_dach 2 ovale_vase 2 halb
ost -38 1 blau lang gelaender festes_dach 2 keine 0 keine 2 weiss lang voll festes_dach 3 blaue_box 3 keine 3 blau lang gelaender festes_dach 2 metall_topf 3 halb 4 gelb kurz voll keine 2 ovale_vase 1 keine 5 rot kurz voll keine 2 keine 0 voll
ost 9 1 blau kurz gelaender dach_fundament 2 diamant 1 halb 2 weiss lang voll dach_fundament 3 blaue_box 3 keine 3 weiss kurz voll verstrebtes_dach 2 blaue_box 2 keine 4 gelb kurz voll dach_fundament 2 goldene_vase 1 keine 5 rot kurz voll spitzdach 2 keine 0 keine
ost 32 1 gelb lang voll spitzdach 3 goldene_vase 3 halb 2 gruen kurz gelaender keine 2 goldene_vase 2 voll 3 rot kurz voll festes_dach 2 keine 0 keine 4 gelb kurz voll spitzdach 2 metall_topf 1 voll 5 weiss lang voll keine 2 metall_topf 1 halb 6 weiss lang voll keine 3 blaue_box 3 voll
ost 167 1 gelb lang voll dach_fundament 2 ovale_vase 1 voll 2 rot lang gelaender keine 3 blaue_box 2 halb 3 gruen kurz gelaender festes_dach 2 blaue_box 2 keine 4 gelb kurz voll dach_fundament 2 keine 0 voll 5 weiss lang gelaender festes_dach 2 blaue_box 3 keine