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.

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, gruen).
wagen_laenge(wagen0_1, kurz).
hat_wand(wagen0_1, gelaender).
hat_dach(wagen0_1, festes_dach).
hat_rad(wagen0_1, 2).
hat_ladung(wagen0_1, goldene_vase).
ladungs_nummer(wagen0_1, 2).
hat_wagen(zug0, wagen0_2).
wagen_nummer(wagen0_2, 2).
wagen_farbe(wagen0_2, gruen).
wagen_laenge(wagen0_2, lang).
hat_wand(wagen0_2, gelaender).
hat_dach(wagen0_2, verstrebtes_dach).
hat_rad(wagen0_2, 2).
hat_ladung(wagen0_2, goldene_vase).
ladungs_nummer(wagen0_2, 1).
hat_wagen(zug0, wagen0_3).
wagen_nummer(wagen0_3, 3).
wagen_farbe(wagen0_3, weiss).
wagen_laenge(wagen0_3, lang).
hat_wand(wagen0_3, gelaender).
hat_dach(wagen0_3, festes_dach).
hat_rad(wagen0_3, 2).
hat_ladung(wagen0_3, blaue_box).
ladungs_nummer(wagen0_3, 3).
hat_wagen(zug0, wagen0_4).
wagen_nummer(wagen0_4, 4).
wagen_farbe(wagen0_4, weiss).
wagen_laenge(wagen0_4, kurz).
hat_wand(wagen0_4, voll).
hat_dach(wagen0_4, festes_dach).
hat_rad(wagen0_4, 2).
hat_ladung(wagen0_4, keine).
ladungs_nummer(wagen0_4, 0).
hat_wagen(zug0, wagen0_5).
wagen_nummer(wagen0_5, 5).
wagen_farbe(wagen0_5, weiss).
wagen_laenge(wagen0_5, lang).
hat_wand(wagen0_5, voll).
hat_dach(wagen0_5, dach_fundament).
hat_rad(wagen0_5, 3).
hat_ladung(wagen0_5, keine).
ladungs_nummer(wagen0_5, 0).

west(zug1).
hat_wagen(zug1, wagen1_1).
wagen_nummer(wagen1_1, 1).
wagen_farbe(wagen1_1, rot).
wagen_laenge(wagen1_1, lang).
hat_wand(wagen1_1, gelaender).
hat_dach(wagen1_1, dach_fundament).
hat_rad(wagen1_1, 3).
hat_ladung(wagen1_1, diamant).
ladungs_nummer(wagen1_1, 1).
hat_wagen(zug1, wagen1_2).
wagen_nummer(wagen1_2, 2).
wagen_farbe(wagen1_2, blau).
wagen_laenge(wagen1_2, kurz).
hat_wand(wagen1_2, voll).
hat_dach(wagen1_2, verstrebtes_dach).
hat_rad(wagen1_2, 2).
hat_ladung(wagen1_2, keine).
ladungs_nummer(wagen1_2, 0).
hat_wagen(zug1, wagen1_3).
wagen_nummer(wagen1_3, 3).
wagen_farbe(wagen1_3, rot).
wagen_laenge(wagen1_3, kurz).
hat_wand(wagen1_3, voll).
hat_dach(wagen1_3, festes_dach).
hat_rad(wagen1_3, 2).
hat_ladung(wagen1_3, keine).
ladungs_nummer(wagen1_3, 0).
hat_wagen(zug1, wagen1_4).
wagen_nummer(wagen1_4, 4).
wagen_farbe(wagen1_4, rot).
wagen_laenge(wagen1_4, lang).
hat_wand(wagen1_4, gelaender).
hat_dach(wagen1_4, keine).
hat_rad(wagen1_4, 2).
hat_ladung(wagen1_4, goldene_vase).
ladungs_nummer(wagen1_4, 2).
hat_wagen(zug1, wagen1_5).
wagen_nummer(wagen1_5, 5).
wagen_farbe(wagen1_5, rot).
wagen_laenge(wagen1_5, kurz).
hat_wand(wagen1_5, gelaender).
hat_dach(wagen1_5, festes_dach).
hat_rad(wagen1_5, 2).
hat_ladung(wagen1_5, ovale_vase).
ladungs_nummer(wagen1_5, 2).
hat_wagen(zug1, wagen1_6).
wagen_nummer(wagen1_6, 6).
wagen_farbe(wagen1_6, rot).
wagen_laenge(wagen1_6, kurz).
hat_wand(wagen1_6, voll).
hat_dach(wagen1_6, verstrebtes_dach).
hat_rad(wagen1_6, 2).
hat_ladung(wagen1_6, keine).
ladungs_nummer(wagen1_6, 0).

west(zug2).
hat_wagen(zug2, wagen2_1).
wagen_nummer(wagen2_1, 1).
wagen_farbe(wagen2_1, weiss).
wagen_laenge(wagen2_1, kurz).
hat_wand(wagen2_1, voll).
hat_dach(wagen2_1, keine).
hat_rad(wagen2_1, 2).
hat_ladung(wagen2_1, blaue_box).
ladungs_nummer(wagen2_1, 1).
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, festes_dach).
hat_rad(wagen2_2, 3).
hat_ladung(wagen2_2, keine).
ladungs_nummer(wagen2_2, 0).
hat_wagen(zug2, wagen2_3).
wagen_nummer(wagen2_3, 3).
wagen_farbe(wagen2_3, weiss).
wagen_laenge(wagen2_3, lang).
hat_wand(wagen2_3, gelaender).
hat_dach(wagen2_3, verstrebtes_dach).
hat_rad(wagen2_3, 3).
hat_ladung(wagen2_3, keine).
ladungs_nummer(wagen2_3, 0).
hat_wagen(zug2, wagen2_4).
wagen_nummer(wagen2_4, 4).
wagen_farbe(wagen2_4, gruen).
wagen_laenge(wagen2_4, kurz).
hat_wand(wagen2_4, gelaender).
hat_dach(wagen2_4, festes_dach).
hat_rad(wagen2_4, 2).
hat_ladung(wagen2_4, keine).
ladungs_nummer(wagen2_4, 0).
hat_wagen(zug2, wagen2_5).
wagen_nummer(wagen2_5, 5).
wagen_farbe(wagen2_5, gruen).
wagen_laenge(wagen2_5, kurz).
hat_wand(wagen2_5, gelaender).
hat_dach(wagen2_5, verstrebtes_dach).
hat_rad(wagen2_5, 2).
hat_ladung(wagen2_5, keine).
ladungs_nummer(wagen2_5, 0).

west(zug3).
hat_wagen(zug3, wagen3_1).
wagen_nummer(wagen3_1, 1).
wagen_farbe(wagen3_1, gruen).
wagen_laenge(wagen3_1, lang).
hat_wand(wagen3_1, voll).
hat_dach(wagen3_1, verstrebtes_dach).
hat_rad(wagen3_1, 2).
hat_ladung(wagen3_1, goldene_vase).
ladungs_nummer(wagen3_1, 3).
hat_wagen(zug3, wagen3_2).
wagen_nummer(wagen3_2, 2).
wagen_farbe(wagen3_2, blau).
wagen_laenge(wagen3_2, kurz).
hat_wand(wagen3_2, gelaender).
hat_dach(wagen3_2, spitzdach).
hat_rad(wagen3_2, 2).
hat_ladung(wagen3_2, fass).
ladungs_nummer(wagen3_2, 1).
hat_wagen(zug3, wagen3_3).
wagen_nummer(wagen3_3, 3).
wagen_farbe(wagen3_3, gelb).
wagen_laenge(wagen3_3, kurz).
hat_wand(wagen3_3, gelaender).
hat_dach(wagen3_3, dach_fundament).
hat_rad(wagen3_3, 2).
hat_ladung(wagen3_3, metall_topf).
ladungs_nummer(wagen3_3, 2).
hat_wagen(zug3, wagen3_4).
wagen_nummer(wagen3_4, 4).
wagen_farbe(wagen3_4, blau).
wagen_laenge(wagen3_4, kurz).
hat_wand(wagen3_4, voll).
hat_dach(wagen3_4, spitzdach).
hat_rad(wagen3_4, 2).
hat_ladung(wagen3_4, fass).
ladungs_nummer(wagen3_4, 2).
hat_wagen(zug3, wagen3_5).
wagen_nummer(wagen3_5, 5).
wagen_farbe(wagen3_5, gruen).
wagen_laenge(wagen3_5, kurz).
hat_wand(wagen3_5, gelaender).
hat_dach(wagen3_5, verstrebtes_dach).
hat_rad(wagen3_5, 2).
hat_ladung(wagen3_5, metall_topf).
ladungs_nummer(wagen3_5, 1).
hat_wagen(zug3, wagen3_6).
wagen_nummer(wagen3_6, 6).
wagen_farbe(wagen3_6, gelb).
wagen_laenge(wagen3_6, lang).
hat_wand(wagen3_6, voll).
hat_dach(wagen3_6, dach_fundament).
hat_rad(wagen3_6, 3).
hat_ladung(wagen3_6, fass).
ladungs_nummer(wagen3_6, 1).

west(zug4).
hat_wagen(zug4, wagen4_1).
wagen_nummer(wagen4_1, 1).
wagen_farbe(wagen4_1, blau).
wagen_laenge(wagen4_1, lang).
hat_wand(wagen4_1, voll).
hat_dach(wagen4_1, festes_dach).
hat_rad(wagen4_1, 3).
hat_ladung(wagen4_1, diamant).
ladungs_nummer(wagen4_1, 1).
hat_wagen(zug4, wagen4_2).
wagen_nummer(wagen4_2, 2).
wagen_farbe(wagen4_2, rot).
wagen_laenge(wagen4_2, lang).
hat_wand(wagen4_2, gelaender).
hat_dach(wagen4_2, dach_fundament).
hat_rad(wagen4_2, 2).
hat_ladung(wagen4_2, keine).
ladungs_nummer(wagen4_2, 0).
hat_wagen(zug4, wagen4_3).
wagen_nummer(wagen4_3, 3).
wagen_farbe(wagen4_3, blau).
wagen_laenge(wagen4_3, lang).
hat_wand(wagen4_3, gelaender).
hat_dach(wagen4_3, dach_fundament).
hat_rad(wagen4_3, 2).
hat_ladung(wagen4_3, keine).
ladungs_nummer(wagen4_3, 0).
hat_wagen(zug4, wagen4_4).
wagen_nummer(wagen4_4, 4).
wagen_farbe(wagen4_4, blau).
wagen_laenge(wagen4_4, kurz).
hat_wand(wagen4_4, voll).
hat_dach(wagen4_4, keine).
hat_rad(wagen4_4, 2).
hat_ladung(wagen4_4, ovale_vase).
ladungs_nummer(wagen4_4, 1).

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

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

ost(zug7).
hat_wagen(zug7, wagen7_1).
wagen_nummer(wagen7_1, 1).
wagen_farbe(wagen7_1, gelb).
wagen_laenge(wagen7_1, lang).
hat_wand(wagen7_1, voll).
hat_dach(wagen7_1, keine).
hat_rad(wagen7_1, 3).
hat_ladung(wagen7_1, ovale_vase).
ladungs_nummer(wagen7_1, 1).
hat_wagen(zug7, wagen7_2).
wagen_nummer(wagen7_2, 2).
wagen_farbe(wagen7_2, gelb).
wagen_laenge(wagen7_2, lang).
hat_wand(wagen7_2, voll).
hat_dach(wagen7_2, verstrebtes_dach).
hat_rad(wagen7_2, 3).
hat_ladung(wagen7_2, metall_topf).
ladungs_nummer(wagen7_2, 2).
hat_wagen(zug7, wagen7_3).
wagen_nummer(wagen7_3, 3).
wagen_farbe(wagen7_3, gruen).
wagen_laenge(wagen7_3, lang).
hat_wand(wagen7_3, voll).
hat_dach(wagen7_3, spitzdach).
hat_rad(wagen7_3, 3).
hat_ladung(wagen7_3, metall_topf).
ladungs_nummer(wagen7_3, 2).
hat_wagen(zug7, wagen7_4).
wagen_nummer(wagen7_4, 4).
wagen_farbe(wagen7_4, gelb).
wagen_laenge(wagen7_4, lang).
hat_wand(wagen7_4, gelaender).
hat_dach(wagen7_4, festes_dach).
hat_rad(wagen7_4, 3).
hat_ladung(wagen7_4, blaue_box).
ladungs_nummer(wagen7_4, 1).

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, spitzdach).
hat_rad(wagen8_1, 3).
hat_ladung(wagen8_1, ovale_vase).
ladungs_nummer(wagen8_1, 1).
hat_wagen(zug8, wagen8_2).
wagen_nummer(wagen8_2, 2).
wagen_farbe(wagen8_2, gelb).
wagen_laenge(wagen8_2, lang).
hat_wand(wagen8_2, gelaender).
hat_dach(wagen8_2, dach_fundament).
hat_rad(wagen8_2, 3).
hat_ladung(wagen8_2, goldene_vase).
ladungs_nummer(wagen8_2, 2).
hat_wagen(zug8, wagen8_3).
wagen_nummer(wagen8_3, 3).
wagen_farbe(wagen8_3, gruen).
wagen_laenge(wagen8_3, kurz).
hat_wand(wagen8_3, voll).
hat_dach(wagen8_3, keine).
hat_rad(wagen8_3, 2).
hat_ladung(wagen8_3, fass).
ladungs_nummer(wagen8_3, 1).
hat_wagen(zug8, wagen8_4).
wagen_nummer(wagen8_4, 4).
wagen_farbe(wagen8_4, blau).
wagen_laenge(wagen8_4, kurz).
hat_wand(wagen8_4, voll).
hat_dach(wagen8_4, spitzdach).
hat_rad(wagen8_4, 2).
hat_ladung(wagen8_4, keine).
ladungs_nummer(wagen8_4, 0).

west(zug9).
hat_wagen(zug9, wagen9_1).
wagen_nummer(wagen9_1, 1).
wagen_farbe(wagen9_1, gruen).
wagen_laenge(wagen9_1, lang).
hat_wand(wagen9_1, gelaender).
hat_dach(wagen9_1, dach_fundament).
hat_rad(wagen9_1, 3).
hat_ladung(wagen9_1, metall_topf).
ladungs_nummer(wagen9_1, 2).
hat_wagen(zug9, wagen9_2).
wagen_nummer(wagen9_2, 2).
wagen_farbe(wagen9_2, weiss).
wagen_laenge(wagen9_2, kurz).
hat_wand(wagen9_2, gelaender).
hat_dach(wagen9_2, festes_dach).
hat_rad(wagen9_2, 2).
hat_ladung(wagen9_2, diamant).
ladungs_nummer(wagen9_2, 2).
hat_wagen(zug9, wagen9_3).
wagen_nummer(wagen9_3, 3).
wagen_farbe(wagen9_3, gelb).
wagen_laenge(wagen9_3, kurz).
hat_wand(wagen9_3, voll).
hat_dach(wagen9_3, dach_fundament).
hat_rad(wagen9_3, 2).
hat_ladung(wagen9_3, goldene_vase).
ladungs_nummer(wagen9_3, 2).
hat_wagen(zug9, wagen9_4).
wagen_nummer(wagen9_4, 4).
wagen_farbe(wagen9_4, blau).
wagen_laenge(wagen9_4, kurz).
hat_wand(wagen9_4, gelaender).
hat_dach(wagen9_4, dach_fundament).
hat_rad(wagen9_4, 2).
hat_ladung(wagen9_4, diamant).
ladungs_nummer(wagen9_4, 1).

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, spitzdach).
hat_rad(wagen10_1, 3).
hat_ladung(wagen10_1, ovale_vase).
ladungs_nummer(wagen10_1, 3).
hat_wagen(zug10, wagen10_2).
wagen_nummer(wagen10_2, 2).
wagen_farbe(wagen10_2, gelb).
wagen_laenge(wagen10_2, lang).
hat_wand(wagen10_2, voll).
hat_dach(wagen10_2, dach_fundament).
hat_rad(wagen10_2, 2).
hat_ladung(wagen10_2, blaue_box).
ladungs_nummer(wagen10_2, 3).
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, dach_fundament).
hat_rad(wagen10_3, 2).
hat_ladung(wagen10_3, metall_topf).
ladungs_nummer(wagen10_3, 2).
hat_wagen(zug10, wagen10_4).
wagen_nummer(wagen10_4, 4).
wagen_farbe(wagen10_4, gruen).
wagen_laenge(wagen10_4, kurz).
hat_wand(wagen10_4, gelaender).
hat_dach(wagen10_4, dach_fundament).
hat_rad(wagen10_4, 2).
hat_ladung(wagen10_4, goldene_vase).
ladungs_nummer(wagen10_4, 2).

west(zug11).
hat_wagen(zug11, wagen11_1).
wagen_nummer(wagen11_1, 1).
wagen_farbe(wagen11_1, rot).
wagen_laenge(wagen11_1, kurz).
hat_wand(wagen11_1, voll).
hat_dach(wagen11_1, keine).
hat_rad(wagen11_1, 2).
hat_ladung(wagen11_1, keine).
ladungs_nummer(wagen11_1, 0).
hat_wagen(zug11, wagen11_2).
wagen_nummer(wagen11_2, 2).
wagen_farbe(wagen11_2, weiss).
wagen_laenge(wagen11_2, lang).
hat_wand(wagen11_2, gelaender).
hat_dach(wagen11_2, spitzdach).
hat_rad(wagen11_2, 3).
hat_ladung(wagen11_2, blaue_box).
ladungs_nummer(wagen11_2, 1).
hat_wagen(zug11, wagen11_3).
wagen_nummer(wagen11_3, 3).
wagen_farbe(wagen11_3, weiss).
wagen_laenge(wagen11_3, kurz).
hat_wand(wagen11_3, gelaender).
hat_dach(wagen11_3, keine).
hat_rad(wagen11_3, 2).
hat_ladung(wagen11_3, keine).
ladungs_nummer(wagen11_3, 0).
hat_wagen(zug11, wagen11_4).
wagen_nummer(wagen11_4, 4).
wagen_farbe(wagen11_4, blau).
wagen_laenge(wagen11_4, lang).
hat_wand(wagen11_4, voll).
hat_dach(wagen11_4, festes_dach).
hat_rad(wagen11_4, 2).
hat_ladung(wagen11_4, ovale_vase).
ladungs_nummer(wagen11_4, 1).

ost(zug12).
hat_wagen(zug12, wagen12_1).
wagen_nummer(wagen12_1, 1).
wagen_farbe(wagen12_1, weiss).
wagen_laenge(wagen12_1, kurz).
hat_wand(wagen12_1, voll).
hat_dach(wagen12_1, verstrebtes_dach).
hat_rad(wagen12_1, 2).
hat_ladung(wagen12_1, keine).
ladungs_nummer(wagen12_1, 0).
hat_wagen(zug12, wagen12_2).
wagen_nummer(wagen12_2, 2).
wagen_farbe(wagen12_2, gelb).
wagen_laenge(wagen12_2, lang).
hat_wand(wagen12_2, voll).
hat_dach(wagen12_2, verstrebtes_dach).
hat_rad(wagen12_2, 3).
hat_ladung(wagen12_2, keine).
ladungs_nummer(wagen12_2, 0).
hat_wagen(zug12, wagen12_3).
wagen_nummer(wagen12_3, 3).
wagen_farbe(wagen12_3, rot).
wagen_laenge(wagen12_3, lang).
hat_wand(wagen12_3, gelaender).
hat_dach(wagen12_3, festes_dach).
hat_rad(wagen12_3, 3).
hat_ladung(wagen12_3, keine).
ladungs_nummer(wagen12_3, 0).
hat_wagen(zug12, wagen12_4).
wagen_nummer(wagen12_4, 4).
wagen_farbe(wagen12_4, blau).
wagen_laenge(wagen12_4, lang).
hat_wand(wagen12_4, gelaender).
hat_dach(wagen12_4, verstrebtes_dach).
hat_rad(wagen12_4, 3).
hat_ladung(wagen12_4, metall_topf).
ladungs_nummer(wagen12_4, 2).

ost(zug13).
hat_wagen(zug13, wagen13_1).
wagen_nummer(wagen13_1, 1).
wagen_farbe(wagen13_1, gelb).
wagen_laenge(wagen13_1, lang).
hat_wand(wagen13_1, gelaender).
hat_dach(wagen13_1, dach_fundament).
hat_rad(wagen13_1, 3).
hat_ladung(wagen13_1, diamant).
ladungs_nummer(wagen13_1, 1).
hat_wagen(zug13, wagen13_2).
wagen_nummer(wagen13_2, 2).
wagen_farbe(wagen13_2, weiss).
wagen_laenge(wagen13_2, lang).
hat_wand(wagen13_2, gelaender).
hat_dach(wagen13_2, keine).
hat_rad(wagen13_2, 3).
hat_ladung(wagen13_2, metall_topf).
ladungs_nummer(wagen13_2, 2).
hat_wagen(zug13, wagen13_3).
wagen_nummer(wagen13_3, 3).
wagen_farbe(wagen13_3, weiss).
wagen_laenge(wagen13_3, kurz).
hat_wand(wagen13_3, voll).
hat_dach(wagen13_3, spitzdach).
hat_rad(wagen13_3, 2).
hat_ladung(wagen13_3, keine).
ladungs_nummer(wagen13_3, 0).
hat_wagen(zug13, wagen13_4).
wagen_nummer(wagen13_4, 4).
wagen_farbe(wagen13_4, gelb).
wagen_laenge(wagen13_4, lang).
hat_wand(wagen13_4, gelaender).
hat_dach(wagen13_4, keine).
hat_rad(wagen13_4, 3).
hat_ladung(wagen13_4, metall_topf).
ladungs_nummer(wagen13_4, 3).

ost(zug14).
hat_wagen(zug14, wagen14_1).
wagen_nummer(wagen14_1, 1).
wagen_farbe(wagen14_1, rot).
wagen_laenge(wagen14_1, lang).
hat_wand(wagen14_1, voll).
hat_dach(wagen14_1, spitzdach).
hat_rad(wagen14_1, 3).
hat_ladung(wagen14_1, keine).
ladungs_nummer(wagen14_1, 0).
hat_wagen(zug14, wagen14_2).
wagen_nummer(wagen14_2, 2).
wagen_farbe(wagen14_2, weiss).
wagen_laenge(wagen14_2, kurz).
hat_wand(wagen14_2, voll).
hat_dach(wagen14_2, spitzdach).
hat_rad(wagen14_2, 2).
hat_ladung(wagen14_2, keine).
ladungs_nummer(wagen14_2, 0).
hat_wagen(zug14, wagen14_3).
wagen_nummer(wagen14_3, 3).
wagen_farbe(wagen14_3, gelb).
wagen_laenge(wagen14_3, lang).
hat_wand(wagen14_3, voll).
hat_dach(wagen14_3, festes_dach).
hat_rad(wagen14_3, 3).
hat_ladung(wagen14_3, keine).
ladungs_nummer(wagen14_3, 0).
hat_wagen(zug14, wagen14_4).
wagen_nummer(wagen14_4, 4).
wagen_farbe(wagen14_4, blau).
wagen_laenge(wagen14_4, lang).
hat_wand(wagen14_4, voll).
hat_dach(wagen14_4, verstrebtes_dach).
hat_rad(wagen14_4, 3).
hat_ladung(wagen14_4, ovale_vase).
ladungs_nummer(wagen14_4, 3).

ost(zug15).
hat_wagen(zug15, wagen15_1).
wagen_nummer(wagen15_1, 1).
wagen_farbe(wagen15_1, rot).
wagen_laenge(wagen15_1, lang).
hat_wand(wagen15_1, voll).
hat_dach(wagen15_1, keine).
hat_rad(wagen15_1, 3).
hat_ladung(wagen15_1, keine).
ladungs_nummer(wagen15_1, 0).
hat_wagen(zug15, wagen15_2).
wagen_nummer(wagen15_2, 2).
wagen_farbe(wagen15_2, rot).
wagen_laenge(wagen15_2, lang).
hat_wand(wagen15_2, gelaender).
hat_dach(wagen15_2, dach_fundament).
hat_rad(wagen15_2, 3).
hat_ladung(wagen15_2, blaue_box).
ladungs_nummer(wagen15_2, 3).
hat_wagen(zug15, wagen15_3).
wagen_nummer(wagen15_3, 3).
wagen_farbe(wagen15_3, gruen).
wagen_laenge(wagen15_3, lang).
hat_wand(wagen15_3, gelaender).
hat_dach(wagen15_3, dach_fundament).
hat_rad(wagen15_3, 3).
hat_ladung(wagen15_3, fass).
ladungs_nummer(wagen15_3, 2).
hat_wagen(zug15, wagen15_4).
wagen_nummer(wagen15_4, 4).
wagen_farbe(wagen15_4, weiss).
wagen_laenge(wagen15_4, lang).
hat_wand(wagen15_4, voll).
hat_dach(wagen15_4, spitzdach).
hat_rad(wagen15_4, 3).
hat_ladung(wagen15_4, diamant).
ladungs_nummer(wagen15_4, 3).

ost(zug16).
hat_wagen(zug16, wagen16_1).
wagen_nummer(wagen16_1, 1).
wagen_farbe(wagen16_1, rot).
wagen_laenge(wagen16_1, lang).
hat_wand(wagen16_1, voll).
hat_dach(wagen16_1, dach_fundament).
hat_rad(wagen16_1, 3).
hat_ladung(wagen16_1, diamant).
ladungs_nummer(wagen16_1, 2).
hat_wagen(zug16, wagen16_2).
wagen_nummer(wagen16_2, 2).
wagen_farbe(wagen16_2, weiss).
wagen_laenge(wagen16_2, lang).
hat_wand(wagen16_2, voll).
hat_dach(wagen16_2, festes_dach).
hat_rad(wagen16_2, 3).
hat_ladung(wagen16_2, ovale_vase).
ladungs_nummer(wagen16_2, 1).
hat_wagen(zug16, wagen16_3).
wagen_nummer(wagen16_3, 3).
wagen_farbe(wagen16_3, weiss).
wagen_laenge(wagen16_3, lang).
hat_wand(wagen16_3, voll).
hat_dach(wagen16_3, verstrebtes_dach).
hat_rad(wagen16_3, 3).
hat_ladung(wagen16_3, ovale_vase).
ladungs_nummer(wagen16_3, 3).
hat_wagen(zug16, wagen16_4).
wagen_nummer(wagen16_4, 4).
wagen_farbe(wagen16_4, weiss).
wagen_laenge(wagen16_4, kurz).
hat_wand(wagen16_4, gelaender).
hat_dach(wagen16_4, dach_fundament).
hat_rad(wagen16_4, 2).
hat_ladung(wagen16_4, keine).
ladungs_nummer(wagen16_4, 0).

ost(zug17).
hat_wagen(zug17, wagen17_1).
wagen_nummer(wagen17_1, 1).
wagen_farbe(wagen17_1, gelb).
wagen_laenge(wagen17_1, lang).
hat_wand(wagen17_1, gelaender).
hat_dach(wagen17_1, spitzdach).
hat_rad(wagen17_1, 3).
hat_ladung(wagen17_1, blaue_box).
ladungs_nummer(wagen17_1, 2).
hat_wagen(zug17, wagen17_2).
wagen_nummer(wagen17_2, 2).
wagen_farbe(wagen17_2, weiss).
wagen_laenge(wagen17_2, lang).
hat_wand(wagen17_2, voll).
hat_dach(wagen17_2, verstrebtes_dach).
hat_rad(wagen17_2, 3).
hat_ladung(wagen17_2, keine).
ladungs_nummer(wagen17_2, 0).
hat_wagen(zug17, wagen17_3).
wagen_nummer(wagen17_3, 3).
wagen_farbe(wagen17_3, rot).
wagen_laenge(wagen17_3, lang).
hat_wand(wagen17_3, voll).
hat_dach(wagen17_3, spitzdach).
hat_rad(wagen17_3, 3).
hat_ladung(wagen17_3, goldene_vase).
ladungs_nummer(wagen17_3, 3).
hat_wagen(zug17, wagen17_4).
wagen_nummer(wagen17_4, 4).
wagen_farbe(wagen17_4, weiss).
wagen_laenge(wagen17_4, lang).
hat_wand(wagen17_4, gelaender).
hat_dach(wagen17_4, festes_dach).
hat_rad(wagen17_4, 2).
hat_ladung(wagen17_4, keine).
ladungs_nummer(wagen17_4, 0).

ost(zug18).
hat_wagen(zug18, wagen18_1).
wagen_nummer(wagen18_1, 1).
wagen_farbe(wagen18_1, rot).
wagen_laenge(wagen18_1, lang).
hat_wand(wagen18_1, voll).
hat_dach(wagen18_1, verstrebtes_dach).
hat_rad(wagen18_1, 3).
hat_ladung(wagen18_1, fass).
ladungs_nummer(wagen18_1, 3).
hat_wagen(zug18, wagen18_2).
wagen_nummer(wagen18_2, 2).
wagen_farbe(wagen18_2, rot).
wagen_laenge(wagen18_2, lang).
hat_wand(wagen18_2, voll).
hat_dach(wagen18_2, festes_dach).
hat_rad(wagen18_2, 3).
hat_ladung(wagen18_2, blaue_box).
ladungs_nummer(wagen18_2, 3).
hat_wagen(zug18, wagen18_3).
wagen_nummer(wagen18_3, 3).
wagen_farbe(wagen18_3, rot).
wagen_laenge(wagen18_3, lang).
hat_wand(wagen18_3, voll).
hat_dach(wagen18_3, keine).
hat_rad(wagen18_3, 3).
hat_ladung(wagen18_3, blaue_box).
ladungs_nummer(wagen18_3, 3).
hat_wagen(zug18, wagen18_4).
wagen_nummer(wagen18_4, 4).
wagen_farbe(wagen18_4, weiss).
wagen_laenge(wagen18_4, kurz).
hat_wand(wagen18_4, gelaender).
hat_dach(wagen18_4, dach_fundament).
hat_rad(wagen18_4, 2).
hat_ladung(wagen18_4, keine).
ladungs_nummer(wagen18_4, 0).

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, voll).
hat_dach(wagen19_1, spitzdach).
hat_rad(wagen19_1, 3).
hat_ladung(wagen19_1, goldene_vase).
ladungs_nummer(wagen19_1, 1).
hat_wagen(zug19, wagen19_2).
wagen_nummer(wagen19_2, 2).
wagen_farbe(wagen19_2, gelb).
wagen_laenge(wagen19_2, lang).
hat_wand(wagen19_2, gelaender).
hat_dach(wagen19_2, festes_dach).
hat_rad(wagen19_2, 3).
hat_ladung(wagen19_2, diamant).
ladungs_nummer(wagen19_2, 1).
hat_wagen(zug19, wagen19_3).
wagen_nummer(wagen19_3, 3).
wagen_farbe(wagen19_3, blau).
wagen_laenge(wagen19_3, lang).
hat_wand(wagen19_3, gelaender).
hat_dach(wagen19_3, keine).
hat_rad(wagen19_3, 3).
hat_ladung(wagen19_3, ovale_vase).
ladungs_nummer(wagen19_3, 2).
hat_wagen(zug19, wagen19_4).
wagen_nummer(wagen19_4, 4).
wagen_farbe(wagen19_4, weiss).
wagen_laenge(wagen19_4, lang).
hat_wand(wagen19_4, gelaender).
hat_dach(wagen19_4, keine).
hat_rad(wagen19_4, 3).
hat_ladung(wagen19_4, blaue_box).
ladungs_nummer(wagen19_4, 3).

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

ost(zug21).
hat_wagen(zug21, wagen21_1).
wagen_nummer(wagen21_1, 1).
wagen_farbe(wagen21_1, blau).
wagen_laenge(wagen21_1, lang).
hat_wand(wagen21_1, voll).
hat_dach(wagen21_1, verstrebtes_dach).
hat_rad(wagen21_1, 3).
hat_ladung(wagen21_1, goldene_vase).
ladungs_nummer(wagen21_1, 3).
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, 3).
hat_ladung(wagen21_2, ovale_vase).
ladungs_nummer(wagen21_2, 2).
hat_wagen(zug21, wagen21_3).
wagen_nummer(wagen21_3, 3).
wagen_farbe(wagen21_3, gelb).
wagen_laenge(wagen21_3, lang).
hat_wand(wagen21_3, gelaender).
hat_dach(wagen21_3, festes_dach).
hat_rad(wagen21_3, 3).
hat_ladung(wagen21_3, blaue_box).
ladungs_nummer(wagen21_3, 3).
hat_wagen(zug21, wagen21_4).
wagen_nummer(wagen21_4, 4).
wagen_farbe(wagen21_4, gelb).
wagen_laenge(wagen21_4, lang).
hat_wand(wagen21_4, gelaender).
hat_dach(wagen21_4, festes_dach).
hat_rad(wagen21_4, 3).
hat_ladung(wagen21_4, diamant).
ladungs_nummer(wagen21_4, 3).


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

west(zug1).
hat_wagen(zug1, wagen1_1).
wagen_nummer(wagen1_1, 1).
wagen_farbe(wagen1_1, rot).
wagen_laenge(wagen1_1, lang).
hat_wand(wagen1_1, gelaender).
hat_dach(wagen1_1, dach_fundament).
hat_rad(wagen1_1, 3).
hat_ladung(wagen1_1, diamant).
ladungs_nummer(wagen1_1, 1).
hat_wagen(zug1, wagen1_2).
wagen_nummer(wagen1_2, 2).
wagen_farbe(wagen1_2, blau).
wagen_laenge(wagen1_2, kurz).
hat_wand(wagen1_2, voll).
hat_dach(wagen1_2, verstrebtes_dach).
hat_rad(wagen1_2, 2).
hat_ladung(wagen1_2, keine).
ladungs_nummer(wagen1_2, 0).
hat_wagen(zug1, wagen1_3).
wagen_nummer(wagen1_3, 3).
wagen_farbe(wagen1_3, rot).
wagen_laenge(wagen1_3, kurz).
hat_wand(wagen1_3, voll).
hat_dach(wagen1_3, festes_dach).
hat_rad(wagen1_3, 2).
hat_ladung(wagen1_3, keine).
ladungs_nummer(wagen1_3, 0).
hat_wagen(zug1, wagen1_4).
wagen_nummer(wagen1_4, 4).
wagen_farbe(wagen1_4, rot).
wagen_laenge(wagen1_4, lang).
hat_wand(wagen1_4, gelaender).
hat_dach(wagen1_4, keine).
hat_rad(wagen1_4, 2).
hat_ladung(wagen1_4, goldene_vase).
ladungs_nummer(wagen1_4, 2).
hat_wagen(zug1, wagen1_5).
wagen_nummer(wagen1_5, 5).
wagen_farbe(wagen1_5, rot).
wagen_laenge(wagen1_5, kurz).
hat_wand(wagen1_5, gelaender).
hat_dach(wagen1_5, festes_dach).
hat_rad(wagen1_5, 2).
hat_ladung(wagen1_5, ovale_vase).
ladungs_nummer(wagen1_5, 2).
hat_wagen(zug1, wagen1_6).
wagen_nummer(wagen1_6, 6).
wagen_farbe(wagen1_6, rot).
wagen_laenge(wagen1_6, kurz).
hat_wand(wagen1_6, voll).
hat_dach(wagen1_6, verstrebtes_dach).
hat_rad(wagen1_6, 2).
hat_ladung(wagen1_6, keine).
ladungs_nummer(wagen1_6, 0).

west(zug2).
hat_wagen(zug2, wagen2_1).
wagen_nummer(wagen2_1, 1).
wagen_farbe(wagen2_1, weiss).
wagen_laenge(wagen2_1, kurz).
hat_wand(wagen2_1, voll).
hat_dach(wagen2_1, keine).
hat_rad(wagen2_1, 2).
hat_ladung(wagen2_1, blaue_box).
ladungs_nummer(wagen2_1, 1).
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, festes_dach).
hat_rad(wagen2_2, 3).
hat_ladung(wagen2_2, keine).
ladungs_nummer(wagen2_2, 0).
hat_wagen(zug2, wagen2_3).
wagen_nummer(wagen2_3, 3).
wagen_farbe(wagen2_3, weiss).
wagen_laenge(wagen2_3, lang).
hat_wand(wagen2_3, gelaender).
hat_dach(wagen2_3, verstrebtes_dach).
hat_rad(wagen2_3, 3).
hat_ladung(wagen2_3, keine).
ladungs_nummer(wagen2_3, 0).
hat_wagen(zug2, wagen2_4).
wagen_nummer(wagen2_4, 4).
wagen_farbe(wagen2_4, gruen).
wagen_laenge(wagen2_4, kurz).
hat_wand(wagen2_4, gelaender).
hat_dach(wagen2_4, festes_dach).
hat_rad(wagen2_4, 2).
hat_ladung(wagen2_4, keine).
ladungs_nummer(wagen2_4, 0).
hat_wagen(zug2, wagen2_5).
wagen_nummer(wagen2_5, 5).
wagen_farbe(wagen2_5, gruen).
wagen_laenge(wagen2_5, kurz).
hat_wand(wagen2_5, gelaender).
hat_dach(wagen2_5, verstrebtes_dach).
hat_rad(wagen2_5, 2).
hat_ladung(wagen2_5, keine).
ladungs_nummer(wagen2_5, 0).

west(zug3).
hat_wagen(zug3, wagen3_1).
wagen_nummer(wagen3_1, 1).
wagen_farbe(wagen3_1, gruen).
wagen_laenge(wagen3_1, lang).
hat_wand(wagen3_1, voll).
hat_dach(wagen3_1, verstrebtes_dach).
hat_rad(wagen3_1, 2).
hat_ladung(wagen3_1, goldene_vase).
ladungs_nummer(wagen3_1, 3).
hat_wagen(zug3, wagen3_2).
wagen_nummer(wagen3_2, 2).
wagen_farbe(wagen3_2, blau).
wagen_laenge(wagen3_2, kurz).
hat_wand(wagen3_2, gelaender).
hat_dach(wagen3_2, spitzdach).
hat_rad(wagen3_2, 2).
hat_ladung(wagen3_2, fass).
ladungs_nummer(wagen3_2, 1).
hat_wagen(zug3, wagen3_3).
wagen_nummer(wagen3_3, 3).
wagen_farbe(wagen3_3, gelb).
wagen_laenge(wagen3_3, kurz).
hat_wand(wagen3_3, gelaender).
hat_dach(wagen3_3, dach_fundament).
hat_rad(wagen3_3, 2).
hat_ladung(wagen3_3, metall_topf).
ladungs_nummer(wagen3_3, 2).
hat_wagen(zug3, wagen3_4).
wagen_nummer(wagen3_4, 4).
wagen_farbe(wagen3_4, blau).
wagen_laenge(wagen3_4, kurz).
hat_wand(wagen3_4, voll).
hat_dach(wagen3_4, spitzdach).
hat_rad(wagen3_4, 2).
hat_ladung(wagen3_4, fass).
ladungs_nummer(wagen3_4, 2).
hat_wagen(zug3, wagen3_5).
wagen_nummer(wagen3_5, 5).
wagen_farbe(wagen3_5, gruen).
wagen_laenge(wagen3_5, kurz).
hat_wand(wagen3_5, gelaender).
hat_dach(wagen3_5, verstrebtes_dach).
hat_rad(wagen3_5, 2).
hat_ladung(wagen3_5, metall_topf).
ladungs_nummer(wagen3_5, 1).
hat_wagen(zug3, wagen3_6).
wagen_nummer(wagen3_6, 6).
wagen_farbe(wagen3_6, gelb).
wagen_laenge(wagen3_6, lang).
hat_wand(wagen3_6, voll).
hat_dach(wagen3_6, dach_fundament).
hat_rad(wagen3_6, 3).
hat_ladung(wagen3_6, fass).
ladungs_nummer(wagen3_6, 1).

west(zug4).
hat_wagen(zug4, wagen4_1).
wagen_nummer(wagen4_1, 1).
wagen_farbe(wagen4_1, blau).
wagen_laenge(wagen4_1, lang).
hat_wand(wagen4_1, voll).
hat_dach(wagen4_1, festes_dach).
hat_rad(wagen4_1, 3).
hat_ladung(wagen4_1, diamant).
ladungs_nummer(wagen4_1, 1).
hat_wagen(zug4, wagen4_2).
wagen_nummer(wagen4_2, 2).
wagen_farbe(wagen4_2, rot).
wagen_laenge(wagen4_2, lang).
hat_wand(wagen4_2, gelaender).
hat_dach(wagen4_2, dach_fundament).
hat_rad(wagen4_2, 2).
hat_ladung(wagen4_2, keine).
ladungs_nummer(wagen4_2, 0).
hat_wagen(zug4, wagen4_3).
wagen_nummer(wagen4_3, 3).
wagen_farbe(wagen4_3, blau).
wagen_laenge(wagen4_3, lang).
hat_wand(wagen4_3, gelaender).
hat_dach(wagen4_3, dach_fundament).
hat_rad(wagen4_3, 2).
hat_ladung(wagen4_3, keine).
ladungs_nummer(wagen4_3, 0).
hat_wagen(zug4, wagen4_4).
wagen_nummer(wagen4_4, 4).
wagen_farbe(wagen4_4, blau).
wagen_laenge(wagen4_4, kurz).
hat_wand(wagen4_4, voll).
hat_dach(wagen4_4, keine).
hat_rad(wagen4_4, 2).
hat_ladung(wagen4_4, ovale_vase).
ladungs_nummer(wagen4_4, 1).

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

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

ost(zug7).
hat_wagen(zug7, wagen7_1).
wagen_nummer(wagen7_1, 1).
wagen_farbe(wagen7_1, gelb).
wagen_laenge(wagen7_1, lang).
hat_wand(wagen7_1, voll).
hat_dach(wagen7_1, keine).
hat_rad(wagen7_1, 3).
hat_ladung(wagen7_1, ovale_vase).
ladungs_nummer(wagen7_1, 1).
hat_wagen(zug7, wagen7_2).
wagen_nummer(wagen7_2, 2).
wagen_farbe(wagen7_2, gelb).
wagen_laenge(wagen7_2, lang).
hat_wand(wagen7_2, voll).
hat_dach(wagen7_2, verstrebtes_dach).
hat_rad(wagen7_2, 3).
hat_ladung(wagen7_2, metall_topf).
ladungs_nummer(wagen7_2, 2).
hat_wagen(zug7, wagen7_3).
wagen_nummer(wagen7_3, 3).
wagen_farbe(wagen7_3, gruen).
wagen_laenge(wagen7_3, lang).
hat_wand(wagen7_3, voll).
hat_dach(wagen7_3, spitzdach).
hat_rad(wagen7_3, 3).
hat_ladung(wagen7_3, metall_topf).
ladungs_nummer(wagen7_3, 2).
hat_wagen(zug7, wagen7_4).
wagen_nummer(wagen7_4, 4).
wagen_farbe(wagen7_4, gelb).
wagen_laenge(wagen7_4, lang).
hat_wand(wagen7_4, gelaender).
hat_dach(wagen7_4, festes_dach).
hat_rad(wagen7_4, 3).
hat_ladung(wagen7_4, blaue_box).
ladungs_nummer(wagen7_4, 1).

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, spitzdach).
hat_rad(wagen8_1, 3).
hat_ladung(wagen8_1, ovale_vase).
ladungs_nummer(wagen8_1, 1).
hat_wagen(zug8, wagen8_2).
wagen_nummer(wagen8_2, 2).
wagen_farbe(wagen8_2, gelb).
wagen_laenge(wagen8_2, lang).
hat_wand(wagen8_2, gelaender).
hat_dach(wagen8_2, dach_fundament).
hat_rad(wagen8_2, 3).
hat_ladung(wagen8_2, goldene_vase).
ladungs_nummer(wagen8_2, 2).
hat_wagen(zug8, wagen8_3).
wagen_nummer(wagen8_3, 3).
wagen_farbe(wagen8_3, gruen).
wagen_laenge(wagen8_3, kurz).
hat_wand(wagen8_3, voll).
hat_dach(wagen8_3, keine).
hat_rad(wagen8_3, 2).
hat_ladung(wagen8_3, fass).
ladungs_nummer(wagen8_3, 1).
hat_wagen(zug8, wagen8_4).
wagen_nummer(wagen8_4, 4).
wagen_farbe(wagen8_4, blau).
wagen_laenge(wagen8_4, kurz).
hat_wand(wagen8_4, voll).
hat_dach(wagen8_4, spitzdach).
hat_rad(wagen8_4, 2).
hat_ladung(wagen8_4, keine).
ladungs_nummer(wagen8_4, 0).

west(zug9).
hat_wagen(zug9, wagen9_1).
wagen_nummer(wagen9_1, 1).
wagen_farbe(wagen9_1, gruen).
wagen_laenge(wagen9_1, lang).
hat_wand(wagen9_1, gelaender).
hat_dach(wagen9_1, dach_fundament).
hat_rad(wagen9_1, 3).
hat_ladung(wagen9_1, metall_topf).
ladungs_nummer(wagen9_1, 2).
hat_wagen(zug9, wagen9_2).
wagen_nummer(wagen9_2, 2).
wagen_farbe(wagen9_2, weiss).
wagen_laenge(wagen9_2, kurz).
hat_wand(wagen9_2, gelaender).
hat_dach(wagen9_2, festes_dach).
hat_rad(wagen9_2, 2).
hat_ladung(wagen9_2, diamant).
ladungs_nummer(wagen9_2, 2).
hat_wagen(zug9, wagen9_3).
wagen_nummer(wagen9_3, 3).
wagen_farbe(wagen9_3, gelb).
wagen_laenge(wagen9_3, kurz).
hat_wand(wagen9_3, voll).
hat_dach(wagen9_3, dach_fundament).
hat_rad(wagen9_3, 2).
hat_ladung(wagen9_3, goldene_vase).
ladungs_nummer(wagen9_3, 2).
hat_wagen(zug9, wagen9_4).
wagen_nummer(wagen9_4, 4).
wagen_farbe(wagen9_4, blau).
wagen_laenge(wagen9_4, kurz).
hat_wand(wagen9_4, gelaender).
hat_dach(wagen9_4, dach_fundament).
hat_rad(wagen9_4, 2).
hat_ladung(wagen9_4, diamant).
ladungs_nummer(wagen9_4, 1).

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, spitzdach).
hat_rad(wagen10_1, 3).
hat_ladung(wagen10_1, ovale_vase).
ladungs_nummer(wagen10_1, 3).
hat_wagen(zug10, wagen10_2).
wagen_nummer(wagen10_2, 2).
wagen_farbe(wagen10_2, gelb).
wagen_laenge(wagen10_2, lang).
hat_wand(wagen10_2, voll).
hat_dach(wagen10_2, dach_fundament).
hat_rad(wagen10_2, 2).
hat_ladung(wagen10_2, blaue_box).
ladungs_nummer(wagen10_2, 3).
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, dach_fundament).
hat_rad(wagen10_3, 2).
hat_ladung(wagen10_3, metall_topf).
ladungs_nummer(wagen10_3, 2).
hat_wagen(zug10, wagen10_4).
wagen_nummer(wagen10_4, 4).
wagen_farbe(wagen10_4, gruen).
wagen_laenge(wagen10_4, kurz).
hat_wand(wagen10_4, gelaender).
hat_dach(wagen10_4, dach_fundament).
hat_rad(wagen10_4, 2).
hat_ladung(wagen10_4, goldene_vase).
ladungs_nummer(wagen10_4, 2).

west(zug11).
hat_wagen(zug11, wagen11_1).
wagen_nummer(wagen11_1, 1).
wagen_farbe(wagen11_1, rot).
wagen_laenge(wagen11_1, kurz).
hat_wand(wagen11_1, voll).
hat_dach(wagen11_1, keine).
hat_rad(wagen11_1, 2).
hat_ladung(wagen11_1, keine).
ladungs_nummer(wagen11_1, 0).
hat_wagen(zug11, wagen11_2).
wagen_nummer(wagen11_2, 2).
wagen_farbe(wagen11_2, weiss).
wagen_laenge(wagen11_2, lang).
hat_wand(wagen11_2, gelaender).
hat_dach(wagen11_2, spitzdach).
hat_rad(wagen11_2, 3).
hat_ladung(wagen11_2, blaue_box).
ladungs_nummer(wagen11_2, 1).
hat_wagen(zug11, wagen11_3).
wagen_nummer(wagen11_3, 3).
wagen_farbe(wagen11_3, weiss).
wagen_laenge(wagen11_3, kurz).
hat_wand(wagen11_3, gelaender).
hat_dach(wagen11_3, keine).
hat_rad(wagen11_3, 2).
hat_ladung(wagen11_3, keine).
ladungs_nummer(wagen11_3, 0).
hat_wagen(zug11, wagen11_4).
wagen_nummer(wagen11_4, 4).
wagen_farbe(wagen11_4, blau).
wagen_laenge(wagen11_4, lang).
hat_wand(wagen11_4, voll).
hat_dach(wagen11_4, festes_dach).
hat_rad(wagen11_4, 2).
hat_ladung(wagen11_4, ovale_vase).
ladungs_nummer(wagen11_4, 1).

ost(zug12).
hat_wagen(zug12, wagen12_1).
wagen_nummer(wagen12_1, 1).
wagen_farbe(wagen12_1, weiss).
wagen_laenge(wagen12_1, kurz).
hat_wand(wagen12_1, voll).
hat_dach(wagen12_1, verstrebtes_dach).
hat_rad(wagen12_1, 2).
hat_ladung(wagen12_1, keine).
ladungs_nummer(wagen12_1, 0).
hat_wagen(zug12, wagen12_2).
wagen_nummer(wagen12_2, 2).
wagen_farbe(wagen12_2, gelb).
wagen_laenge(wagen12_2, lang).
hat_wand(wagen12_2, voll).
hat_dach(wagen12_2, verstrebtes_dach).
hat_rad(wagen12_2, 3).
hat_ladung(wagen12_2, keine).
ladungs_nummer(wagen12_2, 0).
hat_wagen(zug12, wagen12_3).
wagen_nummer(wagen12_3, 3).
wagen_farbe(wagen12_3, rot).
wagen_laenge(wagen12_3, lang).
hat_wand(wagen12_3, gelaender).
hat_dach(wagen12_3, festes_dach).
hat_rad(wagen12_3, 3).
hat_ladung(wagen12_3, keine).
ladungs_nummer(wagen12_3, 0).
hat_wagen(zug12, wagen12_4).
wagen_nummer(wagen12_4, 4).
wagen_farbe(wagen12_4, blau).
wagen_laenge(wagen12_4, lang).
hat_wand(wagen12_4, gelaender).
hat_dach(wagen12_4, verstrebtes_dach).
hat_rad(wagen12_4, 3).
hat_ladung(wagen12_4, metall_topf).
ladungs_nummer(wagen12_4, 2).

ost(zug13).
hat_wagen(zug13, wagen13_1).
wagen_nummer(wagen13_1, 1).
wagen_farbe(wagen13_1, gelb).
wagen_laenge(wagen13_1, lang).
hat_wand(wagen13_1, gelaender).
hat_dach(wagen13_1, dach_fundament).
hat_rad(wagen13_1, 3).
hat_ladung(wagen13_1, diamant).
ladungs_nummer(wagen13_1, 1).
hat_wagen(zug13, wagen13_2).
wagen_nummer(wagen13_2, 2).
wagen_farbe(wagen13_2, weiss).
wagen_laenge(wagen13_2, lang).
hat_wand(wagen13_2, gelaender).
hat_dach(wagen13_2, keine).
hat_rad(wagen13_2, 3).
hat_ladung(wagen13_2, metall_topf).
ladungs_nummer(wagen13_2, 2).
hat_wagen(zug13, wagen13_3).
wagen_nummer(wagen13_3, 3).
wagen_farbe(wagen13_3, weiss).
wagen_laenge(wagen13_3, kurz).
hat_wand(wagen13_3, voll).
hat_dach(wagen13_3, spitzdach).
hat_rad(wagen13_3, 2).
hat_ladung(wagen13_3, keine).
ladungs_nummer(wagen13_3, 0).
hat_wagen(zug13, wagen13_4).
wagen_nummer(wagen13_4, 4).
wagen_farbe(wagen13_4, gelb).
wagen_laenge(wagen13_4, lang).
hat_wand(wagen13_4, gelaender).
hat_dach(wagen13_4, keine).
hat_rad(wagen13_4, 3).
hat_ladung(wagen13_4, metall_topf).
ladungs_nummer(wagen13_4, 3).

ost(zug14).
hat_wagen(zug14, wagen14_1).
wagen_nummer(wagen14_1, 1).
wagen_farbe(wagen14_1, rot).
wagen_laenge(wagen14_1, lang).
hat_wand(wagen14_1, voll).
hat_dach(wagen14_1, spitzdach).
hat_rad(wagen14_1, 3).
hat_ladung(wagen14_1, keine).
ladungs_nummer(wagen14_1, 0).
hat_wagen(zug14, wagen14_2).
wagen_nummer(wagen14_2, 2).
wagen_farbe(wagen14_2, weiss).
wagen_laenge(wagen14_2, kurz).
hat_wand(wagen14_2, voll).
hat_dach(wagen14_2, spitzdach).
hat_rad(wagen14_2, 2).
hat_ladung(wagen14_2, keine).
ladungs_nummer(wagen14_2, 0).
hat_wagen(zug14, wagen14_3).
wagen_nummer(wagen14_3, 3).
wagen_farbe(wagen14_3, gelb).
wagen_laenge(wagen14_3, lang).
hat_wand(wagen14_3, voll).
hat_dach(wagen14_3, festes_dach).
hat_rad(wagen14_3, 3).
hat_ladung(wagen14_3, keine).
ladungs_nummer(wagen14_3, 0).
hat_wagen(zug14, wagen14_4).
wagen_nummer(wagen14_4, 4).
wagen_farbe(wagen14_4, blau).
wagen_laenge(wagen14_4, lang).
hat_wand(wagen14_4, voll).
hat_dach(wagen14_4, verstrebtes_dach).
hat_rad(wagen14_4, 3).
hat_ladung(wagen14_4, ovale_vase).
ladungs_nummer(wagen14_4, 3).

ost(zug15).
hat_wagen(zug15, wagen15_1).
wagen_nummer(wagen15_1, 1).
wagen_farbe(wagen15_1, rot).
wagen_laenge(wagen15_1, lang).
hat_wand(wagen15_1, voll).
hat_dach(wagen15_1, keine).
hat_rad(wagen15_1, 3).
hat_ladung(wagen15_1, keine).
ladungs_nummer(wagen15_1, 0).
hat_wagen(zug15, wagen15_2).
wagen_nummer(wagen15_2, 2).
wagen_farbe(wagen15_2, rot).
wagen_laenge(wagen15_2, lang).
hat_wand(wagen15_2, gelaender).
hat_dach(wagen15_2, dach_fundament).
hat_rad(wagen15_2, 3).
hat_ladung(wagen15_2, blaue_box).
ladungs_nummer(wagen15_2, 3).
hat_wagen(zug15, wagen15_3).
wagen_nummer(wagen15_3, 3).
wagen_farbe(wagen15_3, gruen).
wagen_laenge(wagen15_3, lang).
hat_wand(wagen15_3, gelaender).
hat_dach(wagen15_3, dach_fundament).
hat_rad(wagen15_3, 3).
hat_ladung(wagen15_3, fass).
ladungs_nummer(wagen15_3, 2).
hat_wagen(zug15, wagen15_4).
wagen_nummer(wagen15_4, 4).
wagen_farbe(wagen15_4, weiss).
wagen_laenge(wagen15_4, lang).
hat_wand(wagen15_4, voll).
hat_dach(wagen15_4, spitzdach).
hat_rad(wagen15_4, 3).
hat_ladung(wagen15_4, diamant).
ladungs_nummer(wagen15_4, 3).

ost(zug16).
hat_wagen(zug16, wagen16_1).
wagen_nummer(wagen16_1, 1).
wagen_farbe(wagen16_1, rot).
wagen_laenge(wagen16_1, lang).
hat_wand(wagen16_1, voll).
hat_dach(wagen16_1, dach_fundament).
hat_rad(wagen16_1, 3).
hat_ladung(wagen16_1, diamant).
ladungs_nummer(wagen16_1, 2).
hat_wagen(zug16, wagen16_2).
wagen_nummer(wagen16_2, 2).
wagen_farbe(wagen16_2, weiss).
wagen_laenge(wagen16_2, lang).
hat_wand(wagen16_2, voll).
hat_dach(wagen16_2, festes_dach).
hat_rad(wagen16_2, 3).
hat_ladung(wagen16_2, ovale_vase).
ladungs_nummer(wagen16_2, 1).
hat_wagen(zug16, wagen16_3).
wagen_nummer(wagen16_3, 3).
wagen_farbe(wagen16_3, weiss).
wagen_laenge(wagen16_3, lang).
hat_wand(wagen16_3, voll).
hat_dach(wagen16_3, verstrebtes_dach).
hat_rad(wagen16_3, 3).
hat_ladung(wagen16_3, ovale_vase).
ladungs_nummer(wagen16_3, 3).
hat_wagen(zug16, wagen16_4).
wagen_nummer(wagen16_4, 4).
wagen_farbe(wagen16_4, weiss).
wagen_laenge(wagen16_4, kurz).
hat_wand(wagen16_4, gelaender).
hat_dach(wagen16_4, dach_fundament).
hat_rad(wagen16_4, 2).
hat_ladung(wagen16_4, keine).
ladungs_nummer(wagen16_4, 0).

ost(zug17).
hat_wagen(zug17, wagen17_1).
wagen_nummer(wagen17_1, 1).
wagen_farbe(wagen17_1, gelb).
wagen_laenge(wagen17_1, lang).
hat_wand(wagen17_1, gelaender).
hat_dach(wagen17_1, spitzdach).
hat_rad(wagen17_1, 3).
hat_ladung(wagen17_1, blaue_box).
ladungs_nummer(wagen17_1, 2).
hat_wagen(zug17, wagen17_2).
wagen_nummer(wagen17_2, 2).
wagen_farbe(wagen17_2, weiss).
wagen_laenge(wagen17_2, lang).
hat_wand(wagen17_2, voll).
hat_dach(wagen17_2, verstrebtes_dach).
hat_rad(wagen17_2, 3).
hat_ladung(wagen17_2, keine).
ladungs_nummer(wagen17_2, 0).
hat_wagen(zug17, wagen17_3).
wagen_nummer(wagen17_3, 3).
wagen_farbe(wagen17_3, rot).
wagen_laenge(wagen17_3, lang).
hat_wand(wagen17_3, voll).
hat_dach(wagen17_3, spitzdach).
hat_rad(wagen17_3, 3).
hat_ladung(wagen17_3, goldene_vase).
ladungs_nummer(wagen17_3, 3).
hat_wagen(zug17, wagen17_4).
wagen_nummer(wagen17_4, 4).
wagen_farbe(wagen17_4, weiss).
wagen_laenge(wagen17_4, lang).
hat_wand(wagen17_4, gelaender).
hat_dach(wagen17_4, festes_dach).
hat_rad(wagen17_4, 2).
hat_ladung(wagen17_4, keine).
ladungs_nummer(wagen17_4, 0).

ost(zug18).
hat_wagen(zug18, wagen18_1).
wagen_nummer(wagen18_1, 1).
wagen_farbe(wagen18_1, rot).
wagen_laenge(wagen18_1, lang).
hat_wand(wagen18_1, voll).
hat_dach(wagen18_1, verstrebtes_dach).
hat_rad(wagen18_1, 3).
hat_ladung(wagen18_1, fass).
ladungs_nummer(wagen18_1, 3).
hat_wagen(zug18, wagen18_2).
wagen_nummer(wagen18_2, 2).
wagen_farbe(wagen18_2, rot).
wagen_laenge(wagen18_2, lang).
hat_wand(wagen18_2, voll).
hat_dach(wagen18_2, festes_dach).
hat_rad(wagen18_2, 3).
hat_ladung(wagen18_2, blaue_box).
ladungs_nummer(wagen18_2, 3).
hat_wagen(zug18, wagen18_3).
wagen_nummer(wagen18_3, 3).
wagen_farbe(wagen18_3, rot).
wagen_laenge(wagen18_3, lang).
hat_wand(wagen18_3, voll).
hat_dach(wagen18_3, keine).
hat_rad(wagen18_3, 3).
hat_ladung(wagen18_3, blaue_box).
ladungs_nummer(wagen18_3, 3).
hat_wagen(zug18, wagen18_4).
wagen_nummer(wagen18_4, 4).
wagen_farbe(wagen18_4, weiss).
wagen_laenge(wagen18_4, kurz).
hat_wand(wagen18_4, gelaender).
hat_dach(wagen18_4, dach_fundament).
hat_rad(wagen18_4, 2).
hat_ladung(wagen18_4, keine).
ladungs_nummer(wagen18_4, 0).

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, voll).
hat_dach(wagen19_1, spitzdach).
hat_rad(wagen19_1, 3).
hat_ladung(wagen19_1, goldene_vase).
ladungs_nummer(wagen19_1, 1).
hat_wagen(zug19, wagen19_2).
wagen_nummer(wagen19_2, 2).
wagen_farbe(wagen19_2, gelb).
wagen_laenge(wagen19_2, lang).
hat_wand(wagen19_2, gelaender).
hat_dach(wagen19_2, festes_dach).
hat_rad(wagen19_2, 3).
hat_ladung(wagen19_2, diamant).
ladungs_nummer(wagen19_2, 1).
hat_wagen(zug19, wagen19_3).
wagen_nummer(wagen19_3, 3).
wagen_farbe(wagen19_3, blau).
wagen_laenge(wagen19_3, lang).
hat_wand(wagen19_3, gelaender).
hat_dach(wagen19_3, keine).
hat_rad(wagen19_3, 3).
hat_ladung(wagen19_3, ovale_vase).
ladungs_nummer(wagen19_3, 2).
hat_wagen(zug19, wagen19_4).
wagen_nummer(wagen19_4, 4).
wagen_farbe(wagen19_4, weiss).
wagen_laenge(wagen19_4, lang).
hat_wand(wagen19_4, gelaender).
hat_dach(wagen19_4, keine).
hat_rad(wagen19_4, 3).
hat_ladung(wagen19_4, blaue_box).
ladungs_nummer(wagen19_4, 3).

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

ost(zug21).
hat_wagen(zug21, wagen21_1).
wagen_nummer(wagen21_1, 1).
wagen_farbe(wagen21_1, blau).
wagen_laenge(wagen21_1, lang).
hat_wand(wagen21_1, voll).
hat_dach(wagen21_1, verstrebtes_dach).
hat_rad(wagen21_1, 3).
hat_ladung(wagen21_1, goldene_vase).
ladungs_nummer(wagen21_1, 3).
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, 3).
hat_ladung(wagen21_2, ovale_vase).
ladungs_nummer(wagen21_2, 2).
hat_wagen(zug21, wagen21_3).
wagen_nummer(wagen21_3, 3).
wagen_farbe(wagen21_3, gelb).
wagen_laenge(wagen21_3, lang).
hat_wand(wagen21_3, gelaender).
hat_dach(wagen21_3, festes_dach).
hat_rad(wagen21_3, 3).
hat_ladung(wagen21_3, blaue_box).
ladungs_nummer(wagen21_3, 3).
hat_wagen(zug21, wagen21_4).
wagen_nummer(wagen21_4, 4).
wagen_farbe(wagen21_4, gelb).
wagen_laenge(wagen21_4, lang).
hat_wand(wagen21_4, gelaender).
hat_dach(wagen21_4, festes_dach).
hat_rad(wagen21_4, 3).
hat_ladung(wagen21_4, diamant).
ladungs_nummer(wagen21_4, 3).


west 165 1 gruen kurz gelaender festes_dach 2 goldene_vase 2 2 gruen lang gelaender verstrebtes_dach 2 goldene_vase 1 3 weiss lang gelaender festes_dach 2 blaue_box 3 4 weiss kurz voll festes_dach 2 keine 0 5 weiss lang voll dach_fundament 3 keine 0
west -31 1 rot lang gelaender dach_fundament 3 diamant 1 2 blau kurz voll verstrebtes_dach 2 keine 0 3 rot kurz voll festes_dach 2 keine 0 4 rot lang gelaender keine 2 goldene_vase 2 5 rot kurz gelaender festes_dach 2 ovale_vase 2 6 rot kurz voll verstrebtes_dach 2 keine 0
west 231 1 weiss kurz voll keine 2 blaue_box 1 2 gelb lang gelaender festes_dach 3 keine 0 3 weiss lang gelaender verstrebtes_dach 3 keine 0 4 gruen kurz gelaender festes_dach 2 keine 0 5 gruen kurz gelaender verstrebtes_dach 2 keine 0
west -32 1 gruen lang voll verstrebtes_dach 2 goldene_vase 3 2 blau kurz gelaender spitzdach 2 fass 1 3 gelb kurz gelaender dach_fundament 2 metall_topf 2 4 blau kurz voll spitzdach 2 fass 2 5 gruen kurz gelaender verstrebtes_dach 2 metall_topf 1 6 gelb lang voll dach_fundament 3 fass 1
west 169 1 blau lang voll festes_dach 3 diamant 1 2 rot lang gelaender dach_fundament 2 keine 0 3 blau lang gelaender dach_fundament 2 keine 0 4 blau kurz voll keine 2 ovale_vase 1
west 225 1 weiss lang voll verstrebtes_dach 2 goldene_vase 1 2 gruen lang gelaender keine 2 keine 0 3 blau lang voll keine 3 goldene_vase 2 4 blau kurz gelaender verstrebtes_dach 2 keine 0 5 blau lang voll dach_fundament 2 metall_topf 1
west 28 1 gelb kurz gelaender dach_fundament 2 blaue_box 1 2 blau lang gelaender spitzdach 2 keine 0 3 gelb lang gelaender keine 2 fass 3 4 gruen lang voll verstrebtes_dach 2 fass 1 5 gruen kurz gelaender dach_fundament 2 keine 0 6 rot lang gelaender spitzdach 3 metall_topf 3
ost 226 1 gelb lang voll keine 3 ovale_vase 1 2 gelb lang voll verstrebtes_dach 3 metall_topf 2 3 gruen lang voll spitzdach 3 metall_topf 2 4 gelb lang gelaender festes_dach 3 blaue_box 1
west 10 1 rot lang gelaender spitzdach 3 ovale_vase 1 2 gelb lang gelaender dach_fundament 3 goldene_vase 2 3 gruen kurz voll keine 2 fass 1 4 blau kurz voll spitzdach 2 keine 0
west 155 1 gruen lang gelaender dach_fundament 3 metall_topf 2 2 weiss kurz gelaender festes_dach 2 diamant 2 3 gelb kurz voll dach_fundament 2 goldene_vase 2 4 blau kurz gelaender dach_fundament 2 diamant 1
west 200 1 rot lang gelaender spitzdach 3 ovale_vase 3 2 gelb lang voll dach_fundament 2 blaue_box 3 3 gelb lang voll dach_fundament 2 metall_topf 2 4 gruen kurz gelaender dach_fundament 2 goldene_vase 2
west 134 1 rot kurz voll keine 2 keine 0 2 weiss lang gelaender spitzdach 3 blaue_box 1 3 weiss kurz gelaender keine 2 keine 0 4 blau lang voll festes_dach 2 ovale_vase 1
ost -52 1 weiss kurz voll verstrebtes_dach 2 keine 0 2 gelb lang voll verstrebtes_dach 3 keine 0 3 rot lang gelaender festes_dach 3 keine 0 4 blau lang gelaender verstrebtes_dach 3 metall_topf 2
ost 229 1 gelb lang gelaender dach_fundament 3 diamant 1 2 weiss lang gelaender keine 3 metall_topf 2 3 weiss kurz voll spitzdach 2 keine 0 4 gelb lang gelaender keine 3 metall_topf 3
ost -60 1 rot lang voll spitzdach 3 keine 0 2 weiss kurz voll spitzdach 2 keine 0 3 gelb lang voll festes_dach 3 keine 0 4 blau lang voll verstrebtes_dach 3 ovale_vase 3
ost 36 1 rot lang voll keine 3 keine 0 2 rot lang gelaender dach_fundament 3 blaue_box 3 3 gruen lang gelaender dach_fundament 3 fass 2 4 weiss lang voll spitzdach 3 diamant 3
ost 222 1 rot lang voll dach_fundament 3 diamant 2 2 weiss lang voll festes_dach 3 ovale_vase 1 3 weiss lang voll verstrebtes_dach 3 ovale_vase 3 4 weiss kurz gelaender dach_fundament 2 keine 0
ost -58 1 gelb lang gelaender spitzdach 3 blaue_box 2 2 weiss lang voll verstrebtes_dach 3 keine 0 3 rot lang voll spitzdach 3 goldene_vase 3 4 weiss lang gelaender festes_dach 2 keine 0
ost 28 1 rot lang voll verstrebtes_dach 3 fass 3 2 rot lang voll festes_dach 3 blaue_box 3 3 rot lang voll keine 3 blaue_box 3 4 weiss kurz gelaender dach_fundament 2 keine 0
ost 172 1 rot lang voll spitzdach 3 goldene_vase 1 2 gelb lang gelaender festes_dach 3 diamant 1 3 blau lang gelaender keine 3 ovale_vase 2 4 weiss lang gelaender keine 3 blaue_box 3
ost 60 1 blau lang voll spitzdach 3 fass 2 2 rot lang gelaender spitzdach 3 metall_topf 3 3 gelb lang gelaender keine 3 keine 0 4 weiss kurz gelaender dach_fundament 2 keine 0
ost 16 1 blau lang voll verstrebtes_dach 3 goldene_vase 3 2 blau lang voll dach_fundament 3 ovale_vase 2 3 gelb lang gelaender festes_dach 3 blaue_box 3 4 gelb lang gelaender festes_dach 3 diamant 3