Prompt:
A few players are playing a boardgame. The current state of the game is as follows:
- zebra smile at starfish
- squid owe money to zebra
- ferret does not offer a job to zebra
- dachshund does not hold the same number of points as cow
- dachshund does not stop the victory of gecko
- dachshund does not negotiate a deal with lion
- dachshund does not an enemy of bulldog
- rabbit refuse to help spider
- akita hide the cards that she has from mermaid
- fish acquire a photograph of mermaid
- octopus does not stop the victory of dragon
- bulldog does not need support from dove
- cat become leopard
- polar bear roll the dice for hummingbird
- crocodile does not owe money to duck
- catfish smile at polar bear
- elk hug rhino
- penguin need support from polar bear
- leopard pay money to polar bear
- sheep does not know the defensive plans of raven
- songbird surrender to mule
- salmon does not burn the warehouse of chihuahua
- octopus does not manage to convince mermaid
- eel does not stop the victory of beetle
- cheetah does not sing a victory song for dragonfly
- chihuahua does not show all her cards to camel
- elk does not eat the food of ant
- elk does not reveal a secret to baboon
- dragon does not prepare armor for oscar
- bat capture the king of dragon
- dragon does not hold the same number of points as beetle
- dragon does not dance with swordfish
- grasshopper smile at dragon
- jellyfish does not know the defensive plans of dragon
- ostrich know the defensive plans of dragonfly
- jellyfish wink at dragonfly
- flamingo does not know the defensive plans of starling
- chinchilla does not unite with flamingo
- flamingo does not refuse to help liger
- german shepherd does not enjoy the company of dachshund
- koala sing a victory song for elephant
- koala does not neglect blobfish
- goose does not burn the warehouse of puffin
- canary disarm cockroach
- mule does not hug cockroach
- canary become cockroach
- bear does not capture the king of donkey
- panther does not capture the king of doctorfish
- pelikan does not acquire a photograph of mannikin
- halibut roll the dice for sea bass
- flamingo does not refuse to help oscar
- salmon create one castle for donkey
- finch prepare armor for beetle
- stork does not hide the cards that she has from sheep
- chinchilla attack the green fields whose owner is turtle
- bear does not burn the warehouse of buffalo
- lion does not wink at llama
- eel attack the green fields whose owner is octopus
- blobfish fall on a square of kiwi
- hare shout at frog
- turtle steal five points from donkey
- octopus stop the victory of halibut
- cricket offer a job to chihuahua
- cougar does not prepare armor for donkey
- donkey bring an oil tank for kiwi
- llama knock down the fortress of goldfish
- lobster does not fall on a square of goldfish
- goldfish does not knock down the fortress of viperfish
- whale know the defensive plans of doctorfish
- goldfish know the defensive plans of cheetah
- german shepherd need support from akita
- poodle wink at akita
- catfish wink at akita
- akita owe money to akita
- kangaroo create one castle for akita
- cheetah does not raise a peace flag for dinosaur
- akita invest in the company whose owner is elk
- ostrich wink at polar bear
- akita does not take over the emperor of seal
- turtle prepare armor for poodle
- shark learn the basics of resource management from penguin
- sheep borrow one of the weapons of finch
- panda bear does not proceed to the spot that is right after the spot of monkey
- woodpecker refuse to help chinchilla
- raven knock down the fortress of koala
- crab does not owe money to salmon
- pelikan does not surrender to squirrel
- pelikan attack the green fields whose owner is wolf
- pelikan respect panda bear
- snake does not hold the same number of points as dachshund
- bat does not leave the houses occupied by flamingo
- sun bear destroy the wall constructed by beaver
- sun bear does not know the defensive plans of black bear
- koala does not learn the basics of resource management from basenji
- aardvark does not suspect the truthfulness of rabbit
- duck burn the warehouse of cow
- buffalo steal five points from cow
- woodpecker tear down the castle that belongs to aardvark
- zander pay money to aardvark
- tilapia swim in the pool next to the house of moose
- tilapia does not swear to sheep
- dragonfly disarm liger
- lobster does not invest in the company whose owner is ferret
- lobster does not hold the same number of points as starling
- moose does not manage to convince peafowl
- woodpecker does not show all her cards to peafowl
- gadwall neglect tilapia
- beaver does not roll the dice for tilapia
- otter does not borrow one of the weapons of tilapia
- lobster does not fall on a square of tilapia
- seal attack the green fields whose owner is carp
- snake does not hug carp
- lion call viperfish
- eagle owe money to grizzly bear
- koala fall on a square of grizzly bear
- grizzly bear shout at dragon
- hummingbird trade one of its pieces with salmon
- squirrel offer a job to hummingbird
- bulldog does not shout at hummingbird
- walrus does not eat the food of llama
- walrus respect seal
- leopard does not disarm puffin
- canary does not prepare armor for hare
- catfish does not unite with hare
- goldfish does not manage to convince hare
- hare does not destroy the wall constructed by eel
- dinosaur pay money to gecko
- flamingo does not reveal a secret to goat
- frog neglect salmon
- husky does not tear down the castle that belongs to frog
- llama shout at ferret
- viperfish does not fall on a square of baboon
- phoenix stop the victory of penguin
- grizzly bear surrender to turtle
- otter know the defensive plans of turtle
- chihuahua hug goose
- chihuahua does not borrow one of the weapons of dragonfly
- chihuahua does not want to see gorilla
- badger invest in the company whose owner is grizzly bear
- dalmatian does not shout at ostrich
- ferret an enemy of salmon
- buffalo does not proceed to the spot that is right after the spot of cricket
- basenji hug cricket
- reindeer does not smile at cricket
- koala prepare armor for cricket
- dinosaur does not suspect the truthfulness of doctorfish
- doctorfish disarm halibut
- pigeon does not reveal a secret to ferret
- pigeon know the defensive plans of goose
- meerkat does not wink at seahorse
- meerkat does not hug otter
- gorilla steal five points from meerkat
- dragon roll the dice for meerkat

The rules of the game are as follows:
0: If any animal sing a victory song for cobra, then it capture the king of peafowl
1: If any animal disarm elk and does not roll the dice for polar bear, then it does not capture the king of peafowl
2: If there exists an animal which does not remove one of the pieces of cobra, then aardvark sing a victory song for cobra
3: If buffalo an enemy of aardvark and kiwi does not hide the cards that she has from aardvark, then aardvark does not sing a victory song for cobra
4: If halibut reveal a secret to parrot and zebra capture the king of parrot, then parrot does not remove one of the pieces of cobra
5: If any animal destroy the wall constructed by sun bear, then it remove one of the pieces of cobra
6: If duck does not stop the victory of halibut and grasshopper manage to convince halibut, then halibut reveal a secret to parrot
7: If phoenix eat the food of halibut, then halibut does not reveal a secret to parrot
8: If hummingbird want to see duck, then duck does not stop the victory of halibut
9: If any animal does not capture the king of bee and does not attack the green fields whose owner is dalmatian, then it stop the victory of halibut
10: If there exists an animal which does not build a power plant near the green fields of carp, then hummingbird want to see duck
11: If there exists an animal which smile at starfish, then zebra does not build a power plant near the green fields of carp
12: If any animal learn the basics of resource management from pigeon, then it build a power plant near the green fields of carp
13: If there exists an animal which does not give a magnifier to mouse, then duck does not capture the king of bee
14: If raven does not bring an oil tank for duck, then duck capture the king of bee
15: If squid owe money to zebra and ferret does not offer a job to zebra, then zebra does not give a magnifier to mouse
16: If any animal destroy the wall constructed by eagle, then it give a magnifier to mouse
17: If there exists an animal which build a power plant near the green fields of wolverine, then duck does not attack the green fields whose owner is dalmatian
18: If any animal does not invest in the company whose owner is ostrich, then it attack the green fields whose owner is dalmatian
19: If any animal does not hold the same number of points as cow and does not stop the victory of gecko, then it build a power plant near the green fields of wolverine
20: If any animal does not negotiate a deal with lion and does not an enemy of bulldog, then it does not build a power plant near the green fields of wolverine
21: If any animal does not give a magnifier to elephant, then it manage to convince halibut
22: If rabbit does not show all her cards to grasshopper and mermaid does not take over the emperor of grasshopper, then grasshopper does not give a magnifier to elephant
23: If any animal refuse to help spider, then it does not show all her cards to grasshopper
24: If akita hide the cards that she has from mermaid and fish acquire a photograph of mermaid, then mermaid does not take over the emperor of grasshopper
25: If cat does not raise a peace flag for phoenix, then phoenix eat the food of halibut
26: If dove does not swear to cat, then cat does not raise a peace flag for phoenix
27: If any animal does not destroy the wall constructed by badger and take over the emperor of bulldog, then it raise a peace flag for phoenix
28: If there exists an animal which does not stop the victory of dragon, then dove does not swear to cat
29: If bulldog does not need support from dove, then dove swear to cat
30: If any animal become leopard, then it does not destroy the wall constructed by badger
31: If there exists an animal which raise a peace flag for seal, then cat destroy the wall constructed by badger
32: If polar bear does not dance with zebra and beaver swear to zebra, then zebra capture the king of parrot
33: If any animal does not reveal a secret to dove and create one castle for squid, then it does not dance with zebra
34: If any animal an enemy of blobfish and prepare armor for dalmatian, then it does not reveal a secret to dove
35: If any animal roll the dice for hummingbird, then it an enemy of blobfish
36: If there exists an animal which does not owe money to duck, then polar bear prepare armor for dalmatian
37: If catfish smile at polar bear, then polar bear does not prepare armor for dalmatian
38: If any animal unite with grasshopper, then it create one castle for squid
39: If raven does not hug polar bear and songbird does not remove one of the pieces of polar bear, then polar bear does not create one castle for squid
40: If there exists an animal which hug rhino, then polar bear unite with grasshopper
41: If penguin need support from polar bear and leopard pay money to polar bear, then polar bear does not unite with grasshopper
42: If there exists an animal which does not know the defensive plans of raven, then raven does not hug polar bear
43: If any animal surrender to mule, then it does not remove one of the pieces of polar bear
44: If there exists an animal which does not steal five points from blobfish, then beaver swear to zebra
45: If any animal does not owe money to jellyfish, then it does not swear to zebra
46: If there exists an animal which respect kudu, then bulldog does not steal five points from blobfish
47: If any animal does not burn the warehouse of chihuahua, then it respect kudu
48: If any animal know the defensive plans of mouse and surrender to peafowl, then it does not owe money to jellyfish
49: If there exists an animal which does not manage to convince mermaid, then beaver know the defensive plans of mouse
50: If there exists an animal which does not roll the dice for swallow, then beaver does not know the defensive plans of mouse
51: If there exists an animal which does not stop the victory of beetle, then beaver surrender to peafowl
52: If canary does not trade one of its pieces with parrot and elk wink at parrot, then parrot destroy the wall constructed by sun bear
53: If any animal build a power plant near the green fields of gecko, then it does not trade one of its pieces with parrot
54: If there exists an animal which reveal a secret to caterpillar, then canary build a power plant near the green fields of gecko
55: If any animal does not sing a victory song for dragonfly, then it reveal a secret to caterpillar
56: If any animal surrender to songbird and offer a job to turtle, then it wink at parrot
57: If camel does not suspect the truthfulness of elk, then elk surrender to songbird
58: If chihuahua does not show all her cards to camel, then camel does not suspect the truthfulness of elk
59: If any animal does not enjoy the company of otter, then it offer a job to turtle
60: If any animal does not eat the food of ant and does not reveal a secret to baboon, then it does not enjoy the company of otter
61: If ostrich does not shout at kiwi and donkey enjoy the company of kiwi, then kiwi does not hide the cards that she has from aardvark
62: If any animal does not an enemy of elk, then it hide the cards that she has from aardvark
63: If dragon does not need support from ostrich and gecko does not create one castle for ostrich, then ostrich does not shout at kiwi
64: If polar bear knock down the fortress of ostrich and walrus borrow one of the weapons of ostrich, then ostrich shout at kiwi
65: If any animal owe money to crab, then it does not need support from ostrich
66: If any animal does not owe money to kiwi, then it need support from ostrich
67: If any animal prepare armor for chinchilla and build a power plant near the green fields of dugong, then it owe money to crab
68: If any animal does not prepare armor for oscar, then it prepare armor for chinchilla
69: If bat capture the king of dragon, then dragon build a power plant near the green fields of dugong
70: If any animal invest in the company whose owner is grasshopper and does not sing a victory song for canary, then it does not owe money to kiwi
71: If dragonfly smile at dragon and meerkat prepare armor for dragon, then dragon owe money to kiwi
72: If any animal does not hold the same number of points as beetle and does not dance with swordfish, then it invest in the company whose owner is grasshopper
73: If grasshopper smile at dragon and jellyfish does not know the defensive plans of dragon, then dragon does not sing a victory song for canary
74: If any animal knock down the fortress of peafowl, then it sing a victory song for canary
75: If ostrich know the defensive plans of dragonfly and jellyfish wink at dragonfly, then dragonfly smile at dragon
76: If there exists an animal which bring an oil tank for woodpecker, then gecko does not create one castle for ostrich
77: If any animal respect kangaroo and does not offer a job to otter, then it bring an oil tank for woodpecker
78: If squirrel invest in the company whose owner is flamingo and german shepherd respect flamingo, then flamingo does not bring an oil tank for woodpecker
79: If any animal does not know the defensive plans of starling, then it respect kangaroo
80: If chinchilla does not unite with flamingo, then flamingo does not respect kangaroo
81: If any animal does not refuse to help liger, then it does not offer a job to otter
82: If any animal does not enjoy the company of dachshund, then it respect flamingo
83: If dachshund does not capture the king of polar bear and cockroach does not sing a victory song for polar bear, then polar bear knock down the fortress of ostrich
84: If there exists an animal which capture the king of cockroach, then dachshund does not capture the king of polar bear
85: If any animal sing a victory song for elephant and does not neglect blobfish, then it capture the king of cockroach
86: If there exists an animal which does not burn the warehouse of puffin, then koala does not capture the king of cockroach
87: If any animal does not remove one of the pieces of beaver and does not build a power plant near the green fields of crow, then it does not sing a victory song for polar bear
88: If canary disarm cockroach and mule does not hug cockroach, then cockroach does not remove one of the pieces of beaver
89: If canary become cockroach, then cockroach does not build a power plant near the green fields of crow
90: If any animal does not shout at turtle and does not proceed to the spot that is right after the spot of viperfish, then it enjoy the company of kiwi
91: If any animal does not swim in the pool next to the house of poodle and tear down the castle that belongs to rhino, then it does not shout at turtle
92: If any animal know the defensive plans of crab and does not become polar bear, then it shout at turtle
93: If any animal does not roll the dice for mermaid, then it does not swim in the pool next to the house of poodle
94: If dachshund does not surrender to donkey and halibut does not destroy the wall constructed by donkey, then donkey swim in the pool next to the house of poodle
95: If bear does not capture the king of donkey, then donkey does not roll the dice for mermaid
96: If there exists an animal which does not capture the king of doctorfish, then dachshund does not surrender to donkey
97: If there exists an animal which does not acquire a photograph of mannikin, then halibut does not destroy the wall constructed by donkey
98: If any animal roll the dice for sea bass, then it destroy the wall constructed by donkey
99: If any animal does not manage to convince amberjack, then it tear down the castle that belongs to rhino
100: If there exists an animal which does not refuse to help oscar, then donkey does not manage to convince amberjack
101: If salmon create one castle for donkey, then donkey manage to convince amberjack
102: If mermaid offer a job to donkey and turtle prepare armor for donkey, then donkey know the defensive plans of crab
103: If there exists an animal which prepare armor for beetle, then mermaid offer a job to donkey
104: If there exists an animal which does not hide the cards that she has from sheep, then mermaid does not offer a job to donkey
105: If chinchilla attack the green fields whose owner is turtle, then turtle prepare armor for donkey
106: If any animal does not sing a victory song for starfish, then it does not become polar bear
107: If poodle does not destroy the wall constructed by donkey and lion offer a job to donkey, then donkey become polar bear
108: If there exists an animal which does not burn the warehouse of buffalo, then donkey does not sing a victory song for starfish
109: If there exists an animal which does not wink at llama, then poodle does not destroy the wall constructed by donkey
110: If any animal does not unite with vampire, then it destroy the wall constructed by donkey
111: If there exists an animal which attack the green fields whose owner is octopus, then lion offer a job to donkey
112: If there exists an animal which fall on a square of kiwi, then lion does not offer a job to donkey
113: If any animal does not refuse to help buffalo and fall on a square of turtle, then it does not proceed to the spot that is right after the spot of viperfish
114: If any animal take over the emperor of squirrel and suspect the truthfulness of wolf, then it does not refuse to help buffalo
115: If there exists an animal which respect bison, then donkey refuse to help buffalo
116: If there exists an animal which shout at frog, then donkey take over the emperor of squirrel
117: If turtle steal five points from donkey, then donkey suspect the truthfulness of wolf
118: If there exists an animal which wink at mouse, then donkey fall on a square of turtle
119: If any animal enjoy the company of wolverine and does not dance with carp, then it does not fall on a square of turtle
120: If there exists an animal which stop the victory of halibut, then chihuahua wink at mouse
121: If cricket offer a job to chihuahua, then chihuahua does not wink at mouse
122: If cougar does not prepare armor for donkey, then donkey does not dance with carp
123: If any animal bring an oil tank for kiwi, then it dance with carp
124: If swordfish does not want to see kiwi, then kiwi does not an enemy of elk
125: If there exists an animal which negotiate a deal with liger, then kiwi an enemy of elk
126: If goldfish hide the cards that she has from swordfish, then swordfish does not want to see kiwi
127: If any animal roll the dice for pig and knock down the fortress of zander, then it hide the cards that she has from swordfish
128: If any animal create one castle for phoenix, then it does not hide the cards that she has from swordfish
129: If llama knock down the fortress of goldfish and lobster does not fall on a square of goldfish, then goldfish roll the dice for pig
130: If any animal does not knock down the fortress of viperfish, then it does not roll the dice for pig
131: If there exists an animal which know the defensive plans of doctorfish, then goldfish knock down the fortress of zander
132: If any animal know the defensive plans of cheetah, then it create one castle for phoenix
133: If any animal roll the dice for lion and does not owe money to camel, then it disarm elk
134: If there exists an animal which sing a victory song for fangtooth, then aardvark does not disarm elk
135: If any animal respect polar bear and does not invest in the company whose owner is tiger, then it roll the dice for lion
136: If frog does not remove one of the pieces of aardvark and bison does not take over the emperor of aardvark, then aardvark does not roll the dice for lion
137: If any animal does not proceed to the spot that is right after the spot of parrot and does not destroy the wall constructed by leopard, then it respect polar bear
138: If there exists an animal which hug seal, then aardvark does not proceed to the spot that is right after the spot of parrot
139: If wolverine suspect the truthfulness of aardvark and ferret bring an oil tank for aardvark, then aardvark proceed to the spot that is right after the spot of parrot
140: If any animal does not unite with starfish and tear down the castle that belongs to chihuahua, then it hug seal
141: If any animal raise a peace flag for worm and does not tear down the castle that belongs to swan, then it does not hug seal
142: If german shepherd need support from akita and poodle wink at akita, then akita does not unite with starfish
143: If catfish wink at akita and akita owe money to akita, then akita unite with starfish
144: If kangaroo create one castle for akita, then akita tear down the castle that belongs to chihuahua
145: If there exists an animal which does not raise a peace flag for dinosaur, then akita does not tear down the castle that belongs to chihuahua
146: If any animal invest in the company whose owner is elk, then it raise a peace flag for worm
147: If there exists an animal which wink at polar bear, then akita does not tear down the castle that belongs to swan
148: If any animal does not take over the emperor of seal, then it tear down the castle that belongs to swan
149: If shark create one castle for wolverine and panda bear does not offer a job to wolverine, then wolverine suspect the truthfulness of aardvark
150: If koala refuse to help wolverine and salmon does not suspect the truthfulness of wolverine, then wolverine does not suspect the truthfulness of aardvark
151: If there exists an animal which prepare armor for poodle, then shark create one castle for wolverine
152: If any animal learn the basics of resource management from penguin, then it does not create one castle for wolverine
153: If there exists an animal which borrow one of the weapons of finch, then panda bear does not offer a job to wolverine
154: If any animal does not proceed to the spot that is right after the spot of monkey, then it offer a job to wolverine
155: If there exists an animal which refuse to help chinchilla, then koala refuse to help wolverine
156: If raven knock down the fortress of koala, then koala does not refuse to help wolverine
157: If crab does not owe money to salmon, then salmon does not suspect the truthfulness of wolverine
158: If gadwall tear down the castle that belongs to salmon, then salmon suspect the truthfulness of wolverine
159: If there exists an animal which does not take over the emperor of eagle, then ferret bring an oil tank for aardvark
160: If dachshund owe money to ferret and sun bear does not dance with ferret, then ferret does not bring an oil tank for aardvark
161: If any animal does not surrender to squirrel and attack the green fields whose owner is wolf, then it does not take over the emperor of eagle
162: If any animal respect panda bear, then it take over the emperor of eagle
163: If snake does not hold the same number of points as dachshund, then dachshund owe money to ferret
164: If there exists an animal which does not leave the houses occupied by flamingo, then dachshund does not owe money to ferret
165: If any animal destroy the wall constructed by beaver, then it does not dance with ferret
166: If any animal does not know the defensive plans of black bear and does not borrow one of the weapons of gadwall, then it dance with ferret
167: If any animal does not unite with squirrel and does not remove one of the pieces of woodpecker, then it does not destroy the wall constructed by leopard
168: If any animal steal five points from bat and does not swear to donkey, then it destroy the wall constructed by leopard
169: If there exists an animal which raise a peace flag for shark, then aardvark does not unite with squirrel
170: If any animal hug camel, then it unite with squirrel
171: If any animal does not learn the basics of resource management from basenji, then it raise a peace flag for shark
172: If cockroach does not show all her cards to koala, then koala does not raise a peace flag for shark
173: If any animal does not suspect the truthfulness of rabbit, then it hug camel
174: If cow does not manage to convince aardvark, then aardvark does not remove one of the pieces of woodpecker
175: If duck burn the warehouse of cow, then cow does not manage to convince aardvark
176: If buffalo steal five points from cow, then cow manage to convince aardvark
177: If any animal create one castle for canary, then it steal five points from bat
178: If tilapia offer a job to aardvark and lobster does not unite with aardvark, then aardvark does not steal five points from bat
179: If woodpecker tear down the castle that belongs to aardvark and zander pay money to aardvark, then aardvark create one castle for canary
180: If lion does not need support from aardvark, then aardvark does not create one castle for canary
181: If any animal swim in the pool next to the house of moose and does not swear to sheep, then it offer a job to aardvark
182: If there exists an animal which disarm liger, then tilapia does not offer a job to aardvark
183: If any animal does not invest in the company whose owner is ferret, then it does not unite with aardvark
184: If any animal does not hold the same number of points as starling and does not need support from duck, then it unite with aardvark
185: If there exists an animal which know the defensive plans of lobster, then aardvark does not swear to donkey
186: If moose does not manage to convince peafowl and woodpecker does not show all her cards to peafowl, then peafowl know the defensive plans of lobster
187: If bee does not manage to convince aardvark, then aardvark does not invest in the company whose owner is tiger
188: If wolverine does not knock down the fortress of aardvark, then aardvark invest in the company whose owner is tiger
189: If peafowl burn the warehouse of bee, then bee does not manage to convince aardvark
190: If blobfish need support from bee and sheep does not pay money to bee, then bee manage to convince aardvark
191: If there exists an animal which does not remove one of the pieces of reindeer, then peafowl burn the warehouse of bee
192: If gadwall neglect tilapia and beaver does not roll the dice for tilapia, then tilapia does not remove one of the pieces of reindeer
193: If otter does not borrow one of the weapons of tilapia and lobster does not fall on a square of tilapia, then tilapia remove one of the pieces of reindeer
194: If carp does not create one castle for blobfish and lion destroy the wall constructed by blobfish, then blobfish need support from bee
195: If there exists an animal which does not show all her cards to basenji, then blobfish does not need support from bee
196: If seal attack the green fields whose owner is carp and snake does not hug carp, then carp does not create one castle for blobfish
197: If caterpillar does not destroy the wall constructed by carp, then carp create one castle for blobfish
198: If any animal call viperfish, then it destroy the wall constructed by blobfish
199: If eagle owe money to grizzly bear and koala fall on a square of grizzly bear, then grizzly bear does not show all her cards to basenji
200: If any animal does not manage to convince bulldog and shout at dragon, then it show all her cards to basenji
201: If there exists an animal which does not surrender to seal, then sheep does not pay money to bee
202: If there exists an animal which does not hug kiwi, then sheep pay money to bee
203: If any animal trade one of its pieces with salmon, then it does not surrender to seal
204: If squirrel offer a job to hummingbird and bulldog does not shout at hummingbird, then hummingbird surrender to seal
205: If any animal disarm pelikan and burn the warehouse of akita, then it does not remove one of the pieces of aardvark
206: If hare does not build a power plant near the green fields of frog and gecko does not neglect frog, then frog remove one of the pieces of aardvark
207: If crab want to see frog and hare does not suspect the truthfulness of frog, then frog disarm pelikan
208: If any animal knock down the fortress of leopard and destroy the wall constructed by gadwall, then it does not disarm pelikan
209: If walrus give a magnifier to crab, then crab want to see frog
210: If any animal does not eat the food of llama and respect seal, then it give a magnifier to crab
211: If puffin does not sing a victory song for hare, then hare does not suspect the truthfulness of frog
212: If any animal does not want to see moose and show all her cards to gadwall, then it suspect the truthfulness of frog
213: If leopard does not disarm puffin, then puffin does not sing a victory song for hare
214: If canary does not prepare armor for hare, then hare does not want to see moose
215: If catfish does not unite with hare and goldfish does not manage to convince hare, then hare show all her cards to gadwall
216: If any animal does not steal five points from zander and does not destroy the wall constructed by eel, then it does not show all her cards to gadwall
217: If swallow does not enjoy the company of frog, then frog knock down the fortress of leopard
218: If there exists an animal which pay money to gecko, then swallow does not enjoy the company of frog
219: If any animal take over the emperor of walrus and does not call owl, then it destroy the wall constructed by gadwall
220: If there exists an animal which does not reveal a secret to goat, then frog take over the emperor of walrus
221: If any animal neglect salmon, then it does not take over the emperor of walrus
222: If husky does not tear down the castle that belongs to frog, then frog does not call owl
223: If there exists an animal which does not offer a job to squirrel, then frog burn the warehouse of akita
224: If any animal does not refuse to help doctorfish, then it does not burn the warehouse of akita
225: If viperfish does not remove one of the pieces of baboon, then baboon does not offer a job to squirrel
226: If there exists an animal which shout at ferret, then viperfish does not remove one of the pieces of baboon
227: If any animal does not sing a victory song for elk and does not fall on a square of baboon, then it remove one of the pieces of baboon
228: If oscar bring an oil tank for hare, then hare does not build a power plant near the green fields of frog
229: If chihuahua remove one of the pieces of hare and panda bear attack the green fields whose owner is hare, then hare build a power plant near the green fields of frog
230: If turtle take over the emperor of oscar, then oscar bring an oil tank for hare
231: If there exists an animal which stop the victory of penguin, then turtle take over the emperor of oscar
232: If grizzly bear surrender to turtle and otter know the defensive plans of turtle, then turtle does not take over the emperor of oscar
233: If any animal does not knock down the fortress of cockroach and does not fall on a square of beaver, then it remove one of the pieces of hare
234: If any animal hug goose and does not borrow one of the weapons of dragonfly, then it does not knock down the fortress of cockroach
235: If any animal does not want to see gorilla, then it does not fall on a square of beaver
236: If there exists an animal which raise a peace flag for beetle, then panda bear attack the green fields whose owner is hare
237: If rabbit does not disarm panda bear, then panda bear does not attack the green fields whose owner is hare
238: If there exists an animal which invest in the company whose owner is grizzly bear, then dove raise a peace flag for beetle
239: If pelikan does not build a power plant near the green fields of bison, then bison does not take over the emperor of aardvark
240: If swan does not fall on a square of bison, then bison take over the emperor of aardvark
241: If any animal raise a peace flag for catfish, then it does not build a power plant near the green fields of bison
242: If cricket does not invest in the company whose owner is pelikan and dragonfly shout at pelikan, then pelikan build a power plant near the green fields of bison
243: If ostrich does not need support from pelikan and cricket does not take over the emperor of pelikan, then pelikan raise a peace flag for catfish
244: If dalmatian does not shout at ostrich, then ostrich does not need support from pelikan
245: If there exists an animal which an enemy of salmon, then cricket does not take over the emperor of pelikan
246: If buffalo does not proceed to the spot that is right after the spot of cricket, then cricket take over the emperor of pelikan
247: If any animal does not build a power plant near the green fields of mouse, then it does not invest in the company whose owner is pelikan
248: If basenji hug cricket and reindeer does not smile at cricket, then cricket does not build a power plant near the green fields of mouse
249: If kiwi shout at cricket and koala prepare armor for cricket, then cricket build a power plant near the green fields of mouse
250: If doctorfish does not learn the basics of resource management from swan, then swan does not fall on a square of bison
251: If any animal eat the food of walrus, then it does not learn the basics of resource management from swan
252: If dinosaur does not suspect the truthfulness of doctorfish, then doctorfish eat the food of walrus
253: If any animal disarm halibut, then it does not eat the food of walrus
254: If shark does not bring an oil tank for aardvark and dog hug aardvark, then aardvark does not owe money to camel
255: If any animal raise a peace flag for lizard, then it does not bring an oil tank for aardvark
256: If pigeon surrender to shark, then shark raise a peace flag for lizard
257: If any animal does not swim in the pool next to the house of dalmatian, then it surrender to shark
258: If any animal does not reveal a secret to ferret and know the defensive plans of goose, then it does not swim in the pool next to the house of dalmatian
259: If there exists an animal which pay money to otter, then pigeon swim in the pool next to the house of dalmatian
260: If there exists an animal which does not borrow one of the weapons of goat, then dog hug aardvark
261: If there exists an animal which enjoy the company of panda bear, then swan does not borrow one of the weapons of goat
262: If there exists an animal which raise a peace flag for walrus, then swan borrow one of the weapons of goat
263: If any animal does not know the defensive plans of snake and suspect the truthfulness of peafowl, then it enjoy the company of panda bear
264: If any animal does not wink at seahorse, then it does not know the defensive plans of snake
265: If any animal does not hug otter and surrender to hippopotamus, then it know the defensive plans of snake
266: If gorilla steal five points from meerkat and dragon roll the dice for meerkat, then meerkat suspect the truthfulness of peafowl

Rule priorities (higher priority first):
> 1 has precedence over 0
> 3 has precedence over 2
> 4 has precedence over 5
> 6 has precedence over 7
> 8 has precedence over 9
> 12 has precedence over 11
> 14 has precedence over 13
> 16 has precedence over 15
> 18 has precedence over 17
> 19 has precedence over 20
> 27 has precedence over 26
> 28 has precedence over 29
> 31 has precedence over 30
> 36 has precedence over 37
> 38 has precedence over 39
> 40 has precedence over 41
> 44 has precedence over 45
> 50 has precedence over 49
> 61 has precedence over 62
> 64 has precedence over 63
> 65 has precedence over 66
> 71 has precedence over 70
> 74 has precedence over 73
> 78 has precedence over 77
> 79 has precedence over 80
> 85 has precedence over 86
> 91 has precedence over 92
> 93 has precedence over 94
> 97 has precedence over 98
> 100 has precedence over 101
> 103 has precedence over 104
> 106 has precedence over 107
> 110 has precedence over 109
> 111 has precedence over 112
> 115 has precedence over 114
> 119 has precedence over 118
> 120 has precedence over 121
> 122 has precedence over 123
> 125 has precedence over 124
> 127 has precedence over 128
> 129 has precedence over 130
> 134 has precedence over 133
> 135 has precedence over 136
> 138 has precedence over 139
> 140 has precedence over 141
> 142 has precedence over 143
> 144 has precedence over 145
> 147 has precedence over 148
> 149 has precedence over 150
> 151 has precedence over 152
> 153 has precedence over 154
> 155 has precedence over 156
> 158 has precedence over 157
> 159 has precedence over 160
> 161 has precedence over 162
> 163 has precedence over 164
> 166 has precedence over 165
> 167 has precedence over 168
> 169 has precedence over 170
> 172 has precedence over 171
> 175 has precedence over 176
> 177 has precedence over 178
> 180 has precedence over 179
> 181 has precedence over 182
> 184 has precedence over 183
> 188 has precedence over 187
> 189 has precedence over 190
> 192 has precedence over 193
> 194 has precedence over 195
> 197 has precedence over 196
> 200 has precedence over 199
> 202 has precedence over 201
> 203 has precedence over 204
> 206 has precedence over 205
> 207 has precedence over 208
> 211 has precedence over 212
> 216 has precedence over 215
> 220 has precedence over 221
> 224 has precedence over 223
> 227 has precedence over 226
> 228 has precedence over 229
> 231 has precedence over 232
> 237 has precedence over 236
> 239 has precedence over 240
> 242 has precedence over 241
> 245 has precedence over 246
> 249 has precedence over 248
> 252 has precedence over 253
> 259 has precedence over 258
> 262 has precedence over 261
> 265 has precedence over 264

Question: does the aardvark capture the king of the peafowl?

Answer must be placed within [answer] tags, exactly one of: proved, disproved, unknown.

dachshund does not hold the same number of points as cow

dachshund does not stop the victory of gecko

dachshund does not negotiate a deal with lion

akita hide the cards that she has from mermaid

octopus does not stop the victory of dragon

polar bear roll the dice for hummingbird

sheep does not know the defensive plans of raven

salmon does not burn the warehouse of chihuahua

octopus does not manage to convince mermaid

cheetah does not sing a victory song for dragonfly

chihuahua does not show all her cards to camel

dragon does not hold the same number of points as beetle

jellyfish does not know the defensive plans of dragon

ostrich know the defensive plans of dragonfly

flamingo does not know the defensive plans of starling

german shepherd does not enjoy the company of dachshund

goose does not burn the warehouse of puffin

bear does not capture the king of donkey

panther does not capture the king of doctorfish

pelikan does not acquire a photograph of mannikin

stork does not hide the cards that she has from sheep

chinchilla attack the green fields whose owner is turtle

bear does not burn the warehouse of buffalo

eel attack the green fields whose owner is octopus

cougar does not prepare armor for donkey

llama knock down the fortress of goldfish

lobster does not fall on a square of goldfish

goldfish does not knock down the fortress of viperfish

whale know the defensive plans of doctorfish

goldfish know the defensive plans of cheetah

cheetah does not raise a peace flag for dinosaur

akita invest in the company whose owner is elk

akita does not take over the emperor of seal

shark learn the basics of resource management from penguin

sheep borrow one of the weapons of finch

panda bear does not proceed to the spot that is right after the spot of monkey

pelikan attack the green fields whose owner is wolf

snake does not hold the same number of points as dachshund

bat does not leave the houses occupied by flamingo

sun bear destroy the wall constructed by beaver

sun bear does not know the defensive plans of black bear

koala does not learn the basics of resource management from basenji

aardvark does not suspect the truthfulness of rabbit

woodpecker tear down the castle that belongs to aardvark

tilapia swim in the pool next to the house of moose

lobster does not invest in the company whose owner is ferret

lobster does not hold the same number of points as starling

moose does not manage to convince peafowl

woodpecker does not show all her cards to peafowl

beaver does not roll the dice for tilapia

otter does not borrow one of the weapons of tilapia

lobster does not fall on a square of tilapia

seal attack the green fields whose owner is carp

hummingbird trade one of its pieces with salmon

goldfish does not manage to convince hare

hare does not destroy the wall constructed by eel

flamingo does not reveal a secret to goat

husky does not tear down the castle that belongs to frog

viperfish does not fall on a square of baboon

otter know the defensive plans of turtle

chihuahua does not borrow one of the weapons of dragonfly

badger invest in the company whose owner is grizzly bear

buffalo does not proceed to the spot that is right after the spot of cricket

dinosaur does not suspect the truthfulness of doctorfish

pigeon does not reveal a secret to ferret

pigeon know the defensive plans of goose

If any animal sing a victory song for cobra, then it capture the king of peafowl

If any animal disarm elk and does not roll the dice for polar bear, then it does not capture the king of peafowl

If there exists an animal which does not remove one of the pieces of cobra, then aardvark sing a victory song for cobra

If any animal destroy the wall constructed by sun bear, then it remove one of the pieces of cobra

If phoenix eat the food of halibut, then halibut does not reveal a secret to parrot

If hummingbird want to see duck, then duck does not stop the victory of halibut

If there exists an animal which smile at starfish, then zebra does not build a power plant near the green fields of carp

If any animal learn the basics of resource management from pigeon, then it build a power plant near the green fields of carp

If there exists an animal which does not give a magnifier to mouse, then duck does not capture the king of bee

If raven does not bring an oil tank for duck, then duck capture the king of bee

If squid owe money to zebra and ferret does not offer a job to zebra, then zebra does not give a magnifier to mouse

If any animal destroy the wall constructed by eagle, then it give a magnifier to mouse

If any animal does not give a magnifier to elephant, then it manage to convince halibut

If any animal refuse to help spider, then it does not show all her cards to grasshopper

If cat does not raise a peace flag for phoenix, then phoenix eat the food of halibut

If dove does not swear to cat, then cat does not raise a peace flag for phoenix

If there exists an animal which does not stop the victory of dragon, then dove does not swear to cat

If bulldog does not need support from dove, then dove swear to cat

If any animal become leopard, then it does not destroy the wall constructed by badger

If there exists an animal which raise a peace flag for seal, then cat destroy the wall constructed by badger

If polar bear does not dance with zebra and beaver swear to zebra, then zebra capture the king of parrot

If any animal does not reveal a secret to dove and create one castle for squid, then it does not dance with zebra

If any animal an enemy of blobfish and prepare armor for dalmatian, then it does not reveal a secret to dove

If any animal roll the dice for hummingbird, then it an enemy of blobfish

If there exists an animal which does not owe money to duck, then polar bear prepare armor for dalmatian

If catfish smile at polar bear, then polar bear does not prepare armor for dalmatian

If any animal unite with grasshopper, then it create one castle for squid

If there exists an animal which hug rhino, then polar bear unite with grasshopper

If penguin need support from polar bear and leopard pay money to polar bear, then polar bear does not unite with grasshopper

If there exists an animal which does not know the defensive plans of raven, then raven does not hug polar bear

If any animal surrender to mule, then it does not remove one of the pieces of polar bear

If there exists an animal which does not steal five points from blobfish, then beaver swear to zebra

If any animal does not owe money to jellyfish, then it does not swear to zebra

If there exists an animal which respect kudu, then bulldog does not steal five points from blobfish

If any animal does not burn the warehouse of chihuahua, then it respect kudu

If any animal know the defensive plans of mouse and surrender to peafowl, then it does not owe money to jellyfish

If there exists an animal which does not manage to convince mermaid, then beaver know the defensive plans of mouse

If there exists an animal which does not roll the dice for swallow, then beaver does not know the defensive plans of mouse

If there exists an animal which does not stop the victory of beetle, then beaver surrender to peafowl

If any animal build a power plant near the green fields of gecko, then it does not trade one of its pieces with parrot

If any animal does not sing a victory song for dragonfly, then it reveal a secret to caterpillar

If any animal surrender to songbird and offer a job to turtle, then it wink at parrot

If camel does not suspect the truthfulness of elk, then elk surrender to songbird

If chihuahua does not show all her cards to camel, then camel does not suspect the truthfulness of elk

If any animal does not enjoy the company of otter, then it offer a job to turtle

If any animal does not an enemy of elk, then it hide the cards that she has from aardvark

If polar bear knock down the fortress of ostrich and walrus borrow one of the weapons of ostrich, then ostrich shout at kiwi

If any animal owe money to crab, then it does not need support from ostrich

If any animal does not owe money to kiwi, then it need support from ostrich

If any animal prepare armor for chinchilla and build a power plant near the green fields of dugong, then it owe money to crab

If any animal does not prepare armor for oscar, then it prepare armor for chinchilla

If bat capture the king of dragon, then dragon build a power plant near the green fields of dugong

If dragonfly smile at dragon and meerkat prepare armor for dragon, then dragon owe money to kiwi

If any animal knock down the fortress of peafowl, then it sing a victory song for canary

If ostrich know the defensive plans of dragonfly and jellyfish wink at dragonfly, then dragonfly smile at dragon

If there exists an animal which bring an oil tank for woodpecker, then gecko does not create one castle for ostrich

If any animal respect kangaroo and does not offer a job to otter, then it bring an oil tank for woodpecker

If any animal does not know the defensive plans of starling, then it respect kangaroo

If chinchilla does not unite with flamingo, then flamingo does not respect kangaroo

If any animal does not refuse to help liger, then it does not offer a job to otter

If any animal does not enjoy the company of dachshund, then it respect flamingo

If there exists an animal which capture the king of cockroach, then dachshund does not capture the king of polar bear

If any animal sing a victory song for elephant and does not neglect blobfish, then it capture the king of cockroach

If there exists an animal which does not burn the warehouse of puffin, then koala does not capture the king of cockroach

If canary disarm cockroach and mule does not hug cockroach, then cockroach does not remove one of the pieces of beaver

If canary become cockroach, then cockroach does not build a power plant near the green fields of crow

If any animal know the defensive plans of crab and does not become polar bear, then it shout at turtle

If any animal does not roll the dice for mermaid, then it does not swim in the pool next to the house of poodle

If bear does not capture the king of donkey, then donkey does not roll the dice for mermaid

If there exists an animal which does not capture the king of doctorfish, then dachshund does not surrender to donkey

If any animal roll the dice for sea bass, then it destroy the wall constructed by donkey

If any animal does not manage to convince amberjack, then it tear down the castle that belongs to rhino

If there exists an animal which does not refuse to help oscar, then donkey does not manage to convince amberjack

If salmon create one castle for donkey, then donkey manage to convince amberjack

If mermaid offer a job to donkey and turtle prepare armor for donkey, then donkey know the defensive plans of crab

If there exists an animal which prepare armor for beetle, then mermaid offer a job to donkey

If there exists an animal which does not hide the cards that she has from sheep, then mermaid does not offer a job to donkey

If chinchilla attack the green fields whose owner is turtle, then turtle prepare armor for donkey

If any animal does not sing a victory song for starfish, then it does not become polar bear

If poodle does not destroy the wall constructed by donkey and lion offer a job to donkey, then donkey become polar bear

If there exists an animal which does not burn the warehouse of buffalo, then donkey does not sing a victory song for starfish

If there exists an animal which does not wink at llama, then poodle does not destroy the wall constructed by donkey

If any animal does not unite with vampire, then it destroy the wall constructed by donkey

If there exists an animal which attack the green fields whose owner is octopus, then lion offer a job to donkey

If there exists an animal which fall on a square of kiwi, then lion does not offer a job to donkey

If any animal take over the emperor of squirrel and suspect the truthfulness of wolf, then it does not refuse to help buffalo

If there exists an animal which respect bison, then donkey refuse to help buffalo

If there exists an animal which shout at frog, then donkey take over the emperor of squirrel

If turtle steal five points from donkey, then donkey suspect the truthfulness of wolf

If there exists an animal which wink at mouse, then donkey fall on a square of turtle

If any animal enjoy the company of wolverine and does not dance with carp, then it does not fall on a square of turtle

If there exists an animal which stop the victory of halibut, then chihuahua wink at mouse

If cricket offer a job to chihuahua, then chihuahua does not wink at mouse

If cougar does not prepare armor for donkey, then donkey does not dance with carp

If any animal bring an oil tank for kiwi, then it dance with carp

If swordfish does not want to see kiwi, then kiwi does not an enemy of elk

If there exists an animal which negotiate a deal with liger, then kiwi an enemy of elk

If goldfish hide the cards that she has from swordfish, then swordfish does not want to see kiwi

If any animal roll the dice for pig and knock down the fortress of zander, then it hide the cards that she has from swordfish

If any animal create one castle for phoenix, then it does not hide the cards that she has from swordfish

If any animal does not knock down the fortress of viperfish, then it does not roll the dice for pig

If there exists an animal which know the defensive plans of doctorfish, then goldfish knock down the fortress of zander

If any animal know the defensive plans of cheetah, then it create one castle for phoenix

If any animal roll the dice for lion and does not owe money to camel, then it disarm elk

If there exists an animal which sing a victory song for fangtooth, then aardvark does not disarm elk

If any animal respect polar bear and does not invest in the company whose owner is tiger, then it roll the dice for lion

If there exists an animal which hug seal, then aardvark does not proceed to the spot that is right after the spot of parrot

If any animal does not unite with starfish and tear down the castle that belongs to chihuahua, then it hug seal

If any animal raise a peace flag for worm and does not tear down the castle that belongs to swan, then it does not hug seal

If german shepherd need support from akita and poodle wink at akita, then akita does not unite with starfish

If catfish wink at akita and akita owe money to akita, then akita unite with starfish

If kangaroo create one castle for akita, then akita tear down the castle that belongs to chihuahua

If any animal invest in the company whose owner is elk, then it raise a peace flag for worm

If there exists an animal which wink at polar bear, then akita does not tear down the castle that belongs to swan

If any animal does not take over the emperor of seal, then it tear down the castle that belongs to swan

If there exists an animal which prepare armor for poodle, then shark create one castle for wolverine

If any animal learn the basics of resource management from penguin, then it does not create one castle for wolverine

If there exists an animal which borrow one of the weapons of finch, then panda bear does not offer a job to wolverine

If any animal does not proceed to the spot that is right after the spot of monkey, then it offer a job to wolverine

If there exists an animal which refuse to help chinchilla, then koala refuse to help wolverine

If raven knock down the fortress of koala, then koala does not refuse to help wolverine

If crab does not owe money to salmon, then salmon does not suspect the truthfulness of wolverine

If gadwall tear down the castle that belongs to salmon, then salmon suspect the truthfulness of wolverine

If there exists an animal which does not take over the emperor of eagle, then ferret bring an oil tank for aardvark

If dachshund owe money to ferret and sun bear does not dance with ferret, then ferret does not bring an oil tank for aardvark

If any animal respect panda bear, then it take over the emperor of eagle

If snake does not hold the same number of points as dachshund, then dachshund owe money to ferret

If there exists an animal which does not leave the houses occupied by flamingo, then dachshund does not owe money to ferret

If any animal destroy the wall constructed by beaver, then it does not dance with ferret

If any animal steal five points from bat and does not swear to donkey, then it destroy the wall constructed by leopard

If there exists an animal which raise a peace flag for shark, then aardvark does not unite with squirrel

If any animal hug camel, then it unite with squirrel

If any animal does not learn the basics of resource management from basenji, then it raise a peace flag for shark

If cockroach does not show all her cards to koala, then koala does not raise a peace flag for shark

If any animal does not suspect the truthfulness of rabbit, then it hug camel

If cow does not manage to convince aardvark, then aardvark does not remove one of the pieces of woodpecker

If duck burn the warehouse of cow, then cow does not manage to convince aardvark

If buffalo steal five points from cow, then cow manage to convince aardvark

If any animal create one castle for canary, then it steal five points from bat

If lion does not need support from aardvark, then aardvark does not create one castle for canary

If any animal swim in the pool next to the house of moose and does not swear to sheep, then it offer a job to aardvark

If there exists an animal which disarm liger, then tilapia does not offer a job to aardvark

If any animal does not invest in the company whose owner is ferret, then it does not unite with aardvark

If there exists an animal which know the defensive plans of lobster, then aardvark does not swear to donkey

If bee does not manage to convince aardvark, then aardvark does not invest in the company whose owner is tiger

If wolverine does not knock down the fortress of aardvark, then aardvark invest in the company whose owner is tiger

If peafowl burn the warehouse of bee, then bee does not manage to convince aardvark

If blobfish need support from bee and sheep does not pay money to bee, then bee manage to convince aardvark

If there exists an animal which does not remove one of the pieces of reindeer, then peafowl burn the warehouse of bee

If there exists an animal which does not show all her cards to basenji, then blobfish does not need support from bee

If caterpillar does not destroy the wall constructed by carp, then carp create one castle for blobfish

If any animal call viperfish, then it destroy the wall constructed by blobfish

If any animal does not manage to convince bulldog and shout at dragon, then it show all her cards to basenji

If there exists an animal which does not surrender to seal, then sheep does not pay money to bee

If there exists an animal which does not hug kiwi, then sheep pay money to bee

If any animal trade one of its pieces with salmon, then it does not surrender to seal

If squirrel offer a job to hummingbird and bulldog does not shout at hummingbird, then hummingbird surrender to seal

If any animal disarm pelikan and burn the warehouse of akita, then it does not remove one of the pieces of aardvark

If crab want to see frog and hare does not suspect the truthfulness of frog, then frog disarm pelikan

If any animal knock down the fortress of leopard and destroy the wall constructed by gadwall, then it does not disarm pelikan

If walrus give a magnifier to crab, then crab want to see frog

If any animal does not eat the food of llama and respect seal, then it give a magnifier to crab

If puffin does not sing a victory song for hare, then hare does not suspect the truthfulness of frog

If any animal does not want to see moose and show all her cards to gadwall, then it suspect the truthfulness of frog

If leopard does not disarm puffin, then puffin does not sing a victory song for hare

If canary does not prepare armor for hare, then hare does not want to see moose

If catfish does not unite with hare and goldfish does not manage to convince hare, then hare show all her cards to gadwall

If swallow does not enjoy the company of frog, then frog knock down the fortress of leopard

If there exists an animal which pay money to gecko, then swallow does not enjoy the company of frog

If any animal take over the emperor of walrus and does not call owl, then it destroy the wall constructed by gadwall

If there exists an animal which does not reveal a secret to goat, then frog take over the emperor of walrus

If any animal neglect salmon, then it does not take over the emperor of walrus

If husky does not tear down the castle that belongs to frog, then frog does not call owl

If there exists an animal which does not offer a job to squirrel, then frog burn the warehouse of akita

If any animal does not refuse to help doctorfish, then it does not burn the warehouse of akita

If viperfish does not remove one of the pieces of baboon, then baboon does not offer a job to squirrel

If there exists an animal which shout at ferret, then viperfish does not remove one of the pieces of baboon

If oscar bring an oil tank for hare, then hare does not build a power plant near the green fields of frog

If turtle take over the emperor of oscar, then oscar bring an oil tank for hare

If there exists an animal which stop the victory of penguin, then turtle take over the emperor of oscar

If any animal does not want to see gorilla, then it does not fall on a square of beaver

If there exists an animal which raise a peace flag for beetle, then panda bear attack the green fields whose owner is hare

If rabbit does not disarm panda bear, then panda bear does not attack the green fields whose owner is hare

If there exists an animal which invest in the company whose owner is grizzly bear, then dove raise a peace flag for beetle

If pelikan does not build a power plant near the green fields of bison, then bison does not take over the emperor of aardvark

If swan does not fall on a square of bison, then bison take over the emperor of aardvark

If any animal raise a peace flag for catfish, then it does not build a power plant near the green fields of bison

If dalmatian does not shout at ostrich, then ostrich does not need support from pelikan

If there exists an animal which an enemy of salmon, then cricket does not take over the emperor of pelikan

If kiwi shout at cricket and koala prepare armor for cricket, then cricket build a power plant near the green fields of mouse

If doctorfish does not learn the basics of resource management from swan, then swan does not fall on a square of bison

If any animal eat the food of walrus, then it does not learn the basics of resource management from swan

If dinosaur does not suspect the truthfulness of doctorfish, then doctorfish eat the food of walrus

If any animal disarm halibut, then it does not eat the food of walrus

If shark does not bring an oil tank for aardvark and dog hug aardvark, then aardvark does not owe money to camel

If any animal raise a peace flag for lizard, then it does not bring an oil tank for aardvark

If pigeon surrender to shark, then shark raise a peace flag for lizard

If any animal does not swim in the pool next to the house of dalmatian, then it surrender to shark

If there exists an animal which pay money to otter, then pigeon swim in the pool next to the house of dalmatian

If there exists an animal which does not borrow one of the weapons of goat, then dog hug aardvark

If there exists an animal which enjoy the company of panda bear, then swan does not borrow one of the weapons of goat

If there exists an animal which raise a peace flag for walrus, then swan borrow one of the weapons of goat

If any animal does not wink at seahorse, then it does not know the defensive plans of snake

If any animal does not hug otter and surrender to hippopotamus, then it know the defensive plans of snake

Question: does the aardvark capture the king of the peafowl?

Answer: proved


Prompt:
A few players are playing a boardgame. The current state of the game is as follows:

The rules of the game are as follows:
0: If any animal disarm vampire, then it smile at worm
1: If any animal build a power plant near the green fields of octopus, then it disarm vampire

Rule priorities (higher priority first):

Question: does the doctorfish smile at the worm?

Answer must be placed within [answer] tags, exactly one of: proved, disproved, unknown.

Question: does the doctorfish smile at the worm?

Answer: unknown


Prompt:
A few players are playing a boardgame. The current state of the game is as follows:
- sun bear surrender to grizzly bear
- grizzly bear does not shout at woodpecker
- grizzly bear does not fall on a square of leopard

The rules of the game are as follows:
0: If sun bear surrender to grizzly bear, then grizzly bear does not want to see aardvark
1: If any animal does not shout at woodpecker and does not fall on a square of leopard, then it want to see aardvark

Rule priorities (higher priority first):
> 0 has precedence over 1

Question: does the grizzly bear does not want to see the aardvark?

Answer must be placed within [answer] tags, exactly one of: proved, disproved, unknown.

Question: does the grizzly bear does not want to see the aardvark?

Answer: disproved


Prompt:
A few players are playing a boardgame. The current state of the game is as follows:
- mermaid suspect the truthfulness of pigeon
- cougar an enemy of llama
- llama borrow one of the weapons of otter
- sheep does not learn the basics of resource management from reindeer
- sheep does not raise a peace flag for frog
- sheep attack the green fields whose owner is phoenix
- sheep does not eat the food of chihuahua
- hare does not leave the houses occupied by halibut
- akita manage to convince salmon
- akita does not unite with chinchilla
- rabbit does not destroy the wall constructed by phoenix
- zebra surrender to crow
- hummingbird does not shout at beetle
- cobra capture the king of beetle
- pig smile at beetle

The rules of the game are as follows:
0: If akita need support from sheep, then sheep create one castle for worm
1: If sheep does not capture the king of sheep, then sheep does not create one castle for worm
2: If there exists an animal which bring an oil tank for koala, then akita need support from sheep
3: If pigeon give a magnifier to llama, then llama bring an oil tank for koala
4: If any animal does not proceed to the spot that is right after the spot of stork and acquire a photograph of pelikan, then it does not bring an oil tank for koala
5: If mermaid suspect the truthfulness of pigeon, then pigeon give a magnifier to llama
6: If cougar an enemy of llama, then llama does not proceed to the spot that is right after the spot of stork
7: If any animal does not swear to tiger and borrow one of the weapons of otter, then it proceed to the spot that is right after the spot of stork
8: If any animal does not surrender to vampire and does not neglect rabbit, then it does not capture the king of sheep
9: If any animal unite with leopard and tear down the castle that belongs to swan, then it does not surrender to vampire
10: If basenji need support from sheep and akita does not manage to convince sheep, then sheep surrender to vampire
11: If any animal does not learn the basics of resource management from reindeer and does not raise a peace flag for frog, then it unite with leopard
12: If any animal attack the green fields whose owner is phoenix and does not eat the food of chihuahua, then it tear down the castle that belongs to swan
13: If there exists an animal which does not leave the houses occupied by halibut, then basenji need support from sheep
14: If any animal manage to convince salmon and does not unite with chinchilla, then it does not manage to convince sheep
15: If crow does not invest in the company whose owner is sheep and beetle does not capture the king of sheep, then sheep does not neglect rabbit
16: If there exists an animal which does not destroy the wall constructed by phoenix, then crow does not invest in the company whose owner is sheep
17: If zebra surrender to crow, then crow invest in the company whose owner is sheep
18: If hummingbird does not shout at beetle and cobra capture the king of beetle, then beetle does not capture the king of sheep
19: If pig smile at beetle and fangtooth an enemy of beetle, then beetle capture the king of sheep

Rule priorities (higher priority first):
> 0 has precedence over 1
> 4 has precedence over 3
> 7 has precedence over 6
> 9 has precedence over 10
> 16 has precedence over 17
> 19 has precedence over 18

Question: does the sheep create one castle for the worm?

Answer must be placed within [answer] tags, exactly one of: proved, disproved, unknown.

Question: does the sheep create one castle for the worm?

Answer: disproved


Prompt:
A few players are playing a boardgame. The current state of the game is as follows:
- vampire invest in the company whose owner is buffalo

The rules of the game are as follows:
0: If there exists an animal which invest in the company whose owner is buffalo, then hare does not manage to convince aardvark

Rule priorities (higher priority first):

Question: does the hare does not manage to convince the aardvark?

Answer must be placed within [answer] tags, exactly one of: proved, disproved, unknown.

Question: does the hare does not manage to convince the aardvark?

Answer: disproved


Prompt:
A few players are playing a boardgame. The current state of the game is as follows:

The rules of the game are as follows:
0: If lobster does not create one castle for goldfish, then goldfish become snail

Rule priorities (higher priority first):

Question: does the goldfish become the snail?

Answer must be placed within [answer] tags, exactly one of: proved, disproved, unknown.

Question: does the goldfish become the snail?

Answer: unknown


Prompt:
A few players are playing a boardgame. The current state of the game is as follows:

The rules of the game are as follows:
0: If any animal does not reveal a secret to cat, then it know the defensive plans of wolf
1: If there exists an animal which steal five points from phoenix, then ant does not reveal a secret to cat

Rule priorities (higher priority first):

Question: does the ant know the defensive plans of the wolf?

Answer must be placed within [answer] tags, exactly one of: proved, disproved, unknown.

Question: does the ant know the defensive plans of the wolf?

Answer: unknown


Prompt:
A few players are playing a boardgame. The current state of the game is as follows:
- mosquito does not eat the food of panda bear
- hummingbird burn the warehouse of pigeon
- hummingbird eat the food of duck
- bear swim in the pool next to the house of sun bear

The rules of the game are as follows:
0: If panda bear build a power plant near the green fields of pelikan and hummingbird fall on a square of pelikan, then pelikan does not pay money to cricket
1: If sun bear sing a victory song for pelikan and carp does not hold the same number of points as pelikan, then pelikan pay money to cricket
2: If mosquito does not eat the food of panda bear, then panda bear build a power plant near the green fields of pelikan
3: If there exists an animal which does not hide the cards that she has from hare, then panda bear does not build a power plant near the green fields of pelikan
4: If any animal burn the warehouse of pigeon and eat the food of duck, then it fall on a square of pelikan
5: If bear swim in the pool next to the house of sun bear, then sun bear sing a victory song for pelikan

Rule priorities (higher priority first):
> 1 has precedence over 0
> 3 has precedence over 2

Question: does the pelikan does not pay money to the cricket?

Answer must be placed within [answer] tags, exactly one of: proved, disproved, unknown.

Question: does the pelikan does not pay money to the cricket?

Answer: proved


Prompt:
A few players are playing a boardgame. The current state of the game is as follows:
- parrot know the defensive plans of halibut
- pig does not dance with kangaroo
- pig does not fall on a square of monkey
- pig need support from snail
- pig does not offer a job to parrot
- sea bass refuse to help bee
- sea bass manage to convince blobfish

The rules of the game are as follows:
0: If halibut does not hug bee and pig attack the green fields whose owner is bee, then bee negotiate a deal with dragonfly
1: If sea bass tear down the castle that belongs to bee, then bee does not negotiate a deal with dragonfly
2: If parrot know the defensive plans of halibut, then halibut does not hug bee
3: If any animal does not dance with kangaroo and does not fall on a square of monkey, then it attack the green fields whose owner is bee
4: If any animal need support from snail and does not offer a job to parrot, then it does not attack the green fields whose owner is bee
5: If any animal refuse to help bee and manage to convince blobfish, then it tear down the castle that belongs to bee

Rule priorities (higher priority first):
> 0 has precedence over 1
> 3 has precedence over 4

Question: does the bee negotiate a deal with the dragonfly?

Answer must be placed within [answer] tags, exactly one of: proved, disproved, unknown.

Question: does the bee negotiate a deal with the dragonfly?

Answer: proved


Prompt:
A few players are playing a boardgame. The current state of the game is as follows:

The rules of the game are as follows:

Rule priorities (higher priority first):

Question: does the ferret call the kiwi?

Answer must be placed within [answer] tags, exactly one of: proved, disproved, unknown.

Question: does the ferret call the kiwi?

Answer: unknown


Prompt:
A few players are playing a boardgame. The current state of the game is as follows:
- finch does not attack the green fields whose owner is puffin
- coyote learn the basics of resource management from puffin
- coyote refuse to help donkey
- elephant does not disarm donkey
- donkey destroy the wall constructed by sheep
- donkey burn the warehouse of grasshopper

The rules of the game are as follows:
0: If any animal does not enjoy the company of dugong and want to see mouse, then it does not learn the basics of resource management from shark
1: If there exists an animal which take over the emperor of sheep, then poodle does not enjoy the company of dugong
2: If there exists an animal which does not wink at dragon, then poodle enjoy the company of dugong
3: If finch does not attack the green fields whose owner is puffin and coyote learn the basics of resource management from puffin, then puffin does not wink at dragon
4: If akita does not dance with puffin, then puffin wink at dragon
5: If donkey enjoy the company of poodle, then poodle want to see mouse
6: If coyote refuse to help donkey and elephant does not disarm donkey, then donkey enjoy the company of poodle
7: If any animal destroy the wall constructed by sheep and burn the warehouse of grasshopper, then it does not enjoy the company of poodle

Rule priorities (higher priority first):
> 1 has precedence over 2
> 4 has precedence over 3
> 6 has precedence over 7

Question: does the poodle does not learn the basics of resource management from the shark?

Answer must be placed within [answer] tags, exactly one of: proved, disproved, unknown.

Question: does the poodle does not learn the basics of resource management from the shark?

Answer: unknown


Prompt:
A few players are playing a boardgame. The current state of the game is as follows:
- camel sing a victory song for llama
- pigeon does not trade one of its pieces with caterpillar
- pigeon does not prepare armor for worm
- coyote suspect the truthfulness of mouse
- puffin create one castle for cricket
- gecko does not reveal a secret to coyote
- parrot acquire a photograph of coyote
- crow want to see coyote
- tilapia build a power plant near the green fields of liger
- kudu raise a peace flag for octopus
- snake need support from fangtooth
- crocodile acquire a photograph of basenji

The rules of the game are as follows:
0: If pigeon does not want to see mouse and hippopotamus does not call mouse, then mouse does not hide the cards that she has from flamingo
1: If any animal manage to convince dinosaur and does not dance with goldfish, then it does not want to see mouse
2: If coyote borrow one of the weapons of pigeon, then pigeon want to see mouse
3: If there exists an animal which does not fall on a square of squirrel, then pigeon manage to convince dinosaur
4: If camel sing a victory song for llama, then llama does not fall on a square of squirrel
5: If any animal learn the basics of resource management from chihuahua, then it does not dance with goldfish
6: If any animal does not trade one of its pieces with caterpillar and does not prepare armor for worm, then it learn the basics of resource management from chihuahua
7: If any animal call grizzly bear, then it borrow one of the weapons of pigeon
8: If any animal does not an enemy of ferret and does not swim in the pool next to the house of cockroach, then it does not borrow one of the weapons of pigeon
9: If any animal suspect the truthfulness of mouse, then it call grizzly bear
10: If there exists an animal which create one castle for cricket, then coyote does not an enemy of ferret
11: If gecko does not reveal a secret to coyote and parrot acquire a photograph of coyote, then coyote an enemy of ferret
12: If crow want to see coyote, then coyote does not swim in the pool next to the house of cockroach
13: If kudu does not show all her cards to hippopotamus and gorilla does not refuse to help hippopotamus, then hippopotamus does not call mouse
14: If any animal does not learn the basics of resource management from octopus, then it does not show all her cards to hippopotamus
15: If there exists an animal which build a power plant near the green fields of liger, then kudu does not learn the basics of resource management from octopus
16: If any animal raise a peace flag for octopus, then it learn the basics of resource management from octopus
17: If there exists an animal which attack the green fields whose owner is leopard, then gorilla does not refuse to help hippopotamus
18: If snake need support from fangtooth, then fangtooth attack the green fields whose owner is leopard
19: If there exists an animal which acquire a photograph of basenji, then fangtooth does not attack the green fields whose owner is leopard

Rule priorities (higher priority first):
> 1 has precedence over 2
> 7 has precedence over 8
> 10 has precedence over 11
> 15 has precedence over 16
> 18 has precedence over 19

Question: does the mouse does not hide the cards that she has from the flamingo?

Answer must be placed within [answer] tags, exactly one of: proved, disproved, unknown.

Question: does the mouse does not hide the cards that she has from the flamingo?

Answer: proved


Prompt:
A few players are playing a boardgame. The current state of the game is as follows:
- frog attack the green fields whose owner is halibut
- reindeer does not hold the same number of points as fish
- catfish does not capture the king of reindeer
- lion does not create one castle for reindeer
- lizard want to see eagle
- bulldog does not create one castle for gadwall
- basenji proceed to the spot that is right after the spot of shark
- kudu does not prepare armor for shark

The rules of the game are as follows:
0: If any animal negotiate a deal with kiwi and disarm snail, then it unite with crab
1: If there exists an animal which hold the same number of points as cobra, then seal negotiate a deal with kiwi
2: If any animal does not enjoy the company of swallow, then it does not negotiate a deal with kiwi
3: If any animal shout at husky and suspect the truthfulness of chihuahua, then it hold the same number of points as cobra
4: If black bear remove one of the pieces of reindeer and eagle learn the basics of resource management from reindeer, then reindeer does not hold the same number of points as cobra
5: If there exists an animal which attack the green fields whose owner is halibut, then reindeer shout at husky
6: If any animal does not hold the same number of points as fish, then it does not shout at husky
7: If catfish does not capture the king of reindeer and lion does not create one castle for reindeer, then reindeer suspect the truthfulness of chihuahua
8: If lizard want to see eagle, then eagle learn the basics of resource management from reindeer
9: If there exists an animal which does not create one castle for gadwall, then eagle does not learn the basics of resource management from reindeer
10: If sheep hug seal, then seal disarm snail
11: If there exists an animal which does not dance with bulldog, then sheep hug seal
12: If basenji proceed to the spot that is right after the spot of shark and kudu does not prepare armor for shark, then shark does not dance with bulldog

Rule priorities (higher priority first):
> 2 has precedence over 1
> 4 has precedence over 3
> 5 has precedence over 6
> 8 has precedence over 9

Question: does the seal unite with the crab?

Answer must be placed within [answer] tags, exactly one of: proved, disproved, unknown.

Question: does the seal unite with the crab?

Answer: disproved


Prompt:
A few players are playing a boardgame. The current state of the game is as follows:
- dragonfly neglect parrot
- chinchilla does not respect zander

The rules of the game are as follows:
0: If parrot does not hide the cards that she has from kangaroo, then kangaroo acquire a photograph of dog
1: If any animal prepare armor for dugong and offer a job to dalmatian, then it does not hide the cards that she has from kangaroo
2: If basenji does not invest in the company whose owner is parrot and dragonfly neglect parrot, then parrot prepare armor for dugong
3: If there exists an animal which does not respect zander, then parrot offer a job to dalmatian

Rule priorities (higher priority first):

Question: does the kangaroo acquire a photograph of the dog?

Answer must be placed within [answer] tags, exactly one of: proved, disproved, unknown.

dragonfly neglect parrot
chinchilla does not respect zander

Question: does the kangaroo acquire a photograph of the dog?

Answer: unknown


Prompt:
A few players are playing a boardgame. The current state of the game is as follows:
- mannikin enjoy the company of eel
- mannikin does not shout at leopard
- blobfish does not learn the basics of resource management from mannikin
- kiwi does not learn the basics of resource management from mannikin
- penguin unite with starling

The rules of the game are as follows:
0: If mannikin offer a job to crab, then crab does not negotiate a deal with lizard
1: If any animal attack the green fields whose owner is wolverine, then it negotiate a deal with lizard
2: If any animal capture the king of black bear, then it offer a job to crab
3: If any animal remove one of the pieces of walrus and does not knock down the fortress of crocodile, then it capture the king of black bear
4: If starling build a power plant near the green fields of mannikin, then mannikin does not capture the king of black bear
5: If any animal enjoy the company of eel and does not shout at leopard, then it remove one of the pieces of walrus
6: If blobfish does not learn the basics of resource management from mannikin, then mannikin does not remove one of the pieces of walrus
7: If kiwi does not learn the basics of resource management from mannikin, then mannikin does not knock down the fortress of crocodile
8: If worm want to see mannikin, then mannikin knock down the fortress of crocodile
9: If penguin unite with starling, then starling build a power plant near the green fields of mannikin

Rule priorities (higher priority first):
> 1 has precedence over 0
> 3 has precedence over 4
> 5 has precedence over 6
> 8 has precedence over 7

Question: does the crab does not negotiate a deal with the lizard?

Answer must be placed within [answer] tags, exactly one of: proved, disproved, unknown.

Question: does the crab does not negotiate a deal with the lizard?

Answer: proved


Prompt:
A few players are playing a boardgame. The current state of the game is as follows:
- turtle call mermaid
- turtle respect starling

The rules of the game are as follows:
0: If there exists an animal which does not suspect the truthfulness of dolphin, then turtle does not wink at seal
1: If any animal call mermaid and respect starling, then it wink at seal

Rule priorities (higher priority first):
> 0 has precedence over 1

Question: does the turtle does not wink at the seal?

Answer must be placed within [answer] tags, exactly one of: proved, disproved, unknown.

turtle call mermaid
turtle respect starling

Question: does the turtle does not wink at the seal?

Answer: unknown


Prompt:
A few players are playing a boardgame. The current state of the game is as follows:

The rules of the game are as follows:

Rule priorities (higher priority first):

Question: does the duck does not offer a job to the dinosaur?

Answer must be placed within [answer] tags, exactly one of: proved, disproved, unknown.

Question: does the duck does not offer a job to the dinosaur?

Answer: unknown


Prompt:
A few players are playing a boardgame. The current state of the game is as follows:
- crow does not acquire a photograph of ostrich
- jellyfish an enemy of crow

The rules of the game are as follows:
0: If any animal does not capture the king of beaver and does not acquire a photograph of ostrich, then it hold the same number of points as viperfish
1: If jellyfish an enemy of crow, then crow does not hold the same number of points as viperfish

Rule priorities (higher priority first):
> 0 has precedence over 1

Question: does the crow hold the same number of points as the viperfish?

Answer must be placed within [answer] tags, exactly one of: proved, disproved, unknown.

Question: does the crow hold the same number of points as the viperfish?

Answer: unknown


Prompt:
A few players are playing a boardgame. The current state of the game is as follows:

The rules of the game are as follows:

Rule priorities (higher priority first):

Question: does the dalmatian reveal a secret to the caterpillar?

Answer must be placed within [answer] tags, exactly one of: proved, disproved, unknown.

Question: does the dalmatian reveal a secret to the caterpillar?

Answer: unknown


Prompt:
A few players are playing a boardgame. The current state of the game is as follows:
- hare fall on a square of black bear
- hare negotiate a deal with swan
- hare does not dance with bee
- crow trade one of its pieces with aardvark

The rules of the game are as follows:
0: If hare does not show all her cards to octopus and crow surrender to octopus, then octopus does not raise a peace flag for walrus
1: If any animal fall on a square of black bear, then it does not show all her cards to octopus
2: If any animal negotiate a deal with swan and does not dance with bee, then it show all her cards to octopus
3: If any animal trade one of its pieces with aardvark, then it surrender to octopus
4: If there exists an animal which suspect the truthfulness of hippopotamus, then crow does not surrender to octopus

Rule priorities (higher priority first):
> 1 has precedence over 2
> 4 has precedence over 3

Question: does the octopus does not raise a peace flag for the walrus?

Answer must be placed within [answer] tags, exactly one of: proved, disproved, unknown.

Question: does the octopus does not raise a peace flag for the walrus?

Answer: disproved


Prompt:
A few players are playing a boardgame. The current state of the game is as follows:
- panther fall on a square of gecko

The rules of the game are as follows:
0: If there exists an animal which does not learn the basics of resource management from bison, then leopard respect llama
1: If any animal fall on a square of gecko, then it does not learn the basics of resource management from bison
2: If phoenix hide the cards that she has from panther, then panther learn the basics of resource management from bison

Rule priorities (higher priority first):
> 2 has precedence over 1

Question: does the leopard respect the llama?

Answer must be placed within [answer] tags, exactly one of: proved, disproved, unknown.

Question: does the leopard respect the llama?

Answer: proved


Prompt:
A few players are playing a boardgame. The current state of the game is as follows:
- finch does not attack the green fields whose owner is mannikin
- cougar does not an enemy of mannikin
- mannikin does not prepare armor for chinchilla
- gecko manage to convince mannikin
- cougar refuse to help mannikin
- rabbit capture the king of phoenix
- kudu call rabbit
- octopus does not take over the emperor of rabbit
- basenji does not prepare armor for lion
- seal swear to poodle
- raven does not offer a job to canary
- shark does not respect canary
- bat know the defensive plans of canary
- lobster does not swim in the pool next to the house of stork
- lobster does not need support from coyote
- zebra pay money to salmon
- zebra does not surrender to aardvark
- bear does not attack the green fields whose owner is bison
- bear does not capture the king of jellyfish
- bear does not smile at elk
- buffalo does not stop the victory of viperfish
- buffalo become panda bear
- buffalo attack the green fields whose owner is viperfish
- swallow does not proceed to the spot that is right after the spot of buffalo
- gadwall does not manage to convince buffalo
- dinosaur does not attack the green fields whose owner is frog
- dinosaur does not swear to woodpecker

The rules of the game are as follows:
0: If any animal does not roll the dice for leopard and borrow one of the weapons of dinosaur, then it want to see gorilla
1: If any animal prepare armor for walrus, then it does not want to see gorilla
2: If any animal does not fall on a square of seahorse, then it does not roll the dice for leopard
3: If there exists an animal which does not unite with dalmatian, then koala does not fall on a square of seahorse
4: If crab does not steal five points from mouse, then mouse does not unite with dalmatian
5: If black bear does not take over the emperor of crab, then crab does not steal five points from mouse
6: If there exists an animal which tear down the castle that belongs to tiger, then koala borrow one of the weapons of dinosaur
7: If canary disarm koala and grizzly bear enjoy the company of koala, then koala does not borrow one of the weapons of dinosaur
8: If there exists an animal which does not manage to convince buffalo, then hippopotamus tear down the castle that belongs to tiger
9: If rabbit does not hold the same number of points as hippopotamus, then hippopotamus does not tear down the castle that belongs to tiger
10: If any animal show all her cards to spider and want to see cougar, then it does not manage to convince buffalo
11: If any animal call ostrich, then it manage to convince buffalo
12: If finch does not attack the green fields whose owner is mannikin, then mannikin show all her cards to spider
13: If cougar does not an enemy of mannikin and seal take over the emperor of mannikin, then mannikin does not show all her cards to spider
14: If any animal does not prepare armor for chinchilla, then it want to see cougar
15: If gecko manage to convince mannikin and hippopotamus raise a peace flag for mannikin, then mannikin does not want to see cougar
16: If cougar refuse to help mannikin, then mannikin call ostrich
17: If there exists an animal which does not call songbird, then mannikin does not call ostrich
18: If any animal stop the victory of pig and create one castle for doctorfish, then it does not hold the same number of points as hippopotamus
19: If any animal capture the king of phoenix, then it stop the victory of pig
20: If kudu call rabbit, then rabbit does not stop the victory of pig
21: If octopus does not take over the emperor of rabbit, then rabbit create one castle for doctorfish
22: If there exists an animal which does not prepare armor for lion, then rabbit does not create one castle for doctorfish
23: If there exists an animal which does not become doctorfish, then grizzly bear enjoy the company of koala
24: If swallow does not remove one of the pieces of grizzly bear, then grizzly bear does not enjoy the company of koala
25: If any animal does not manage to convince cow and does not reveal a secret to worm, then it does not become doctorfish
26: If there exists an animal which does not hold the same number of points as goldfish, then canary become doctorfish
27: If there exists an animal which swear to poodle, then canary does not manage to convince cow
28: If raven does not offer a job to canary and shark does not respect canary, then canary manage to convince cow
29: If bat know the defensive plans of canary, then canary does not reveal a secret to worm
30: If any animal remove one of the pieces of starling, then it prepare armor for walrus
31: If lobster does not eat the food of koala and buffalo does not hold the same number of points as koala, then koala remove one of the pieces of starling
32: If bulldog does not borrow one of the weapons of koala and dinosaur roll the dice for koala, then koala does not remove one of the pieces of starling
33: If any animal leave the houses occupied by swan, then it does not eat the food of koala
34: If beaver does not offer a job to lobster, then lobster eat the food of koala
35: If any animal does not swim in the pool next to the house of stork and does not need support from coyote, then it leave the houses occupied by swan
36: If zebra fall on a square of buffalo and bear does not refuse to help buffalo, then buffalo does not hold the same number of points as koala
37: If any animal does not destroy the wall constructed by kudu and does not smile at sea bass, then it hold the same number of points as koala
38: If any animal pay money to salmon and does not surrender to aardvark, then it fall on a square of buffalo
39: If any animal does not attack the green fields whose owner is bison, then it does not refuse to help buffalo
40: If any animal does not capture the king of jellyfish and does not smile at elk, then it refuse to help buffalo
41: If any animal does not stop the victory of viperfish and become panda bear, then it does not destroy the wall constructed by kudu
42: If any animal attack the green fields whose owner is viperfish and bring an oil tank for bear, then it destroy the wall constructed by kudu
43: If swallow does not proceed to the spot that is right after the spot of buffalo and gadwall does not manage to convince buffalo, then buffalo does not smile at sea bass
44: If any animal does not prepare armor for beaver and negotiate a deal with ferret, then it roll the dice for koala
45: If any animal does not attack the green fields whose owner is frog, then it does not prepare armor for beaver
46: If any animal does not swear to woodpecker, then it negotiate a deal with ferret

Rule priorities (higher priority first):
> 0 has precedence over 1
> 7 has precedence over 6
> 8 has precedence over 9
> 10 has precedence over 11
> 13 has precedence over 12
> 15 has precedence over 14
> 17 has precedence over 16
> 19 has precedence over 20
> 21 has precedence over 22
> 24 has precedence over 23
> 26 has precedence over 25
> 27 has precedence over 28
> 32 has precedence over 31
> 34 has precedence over 33
> 36 has precedence over 37
> 39 has precedence over 40
> 42 has precedence over 41

Question: does the koala want to see the gorilla?

Answer must be placed within [answer] tags, exactly one of: proved, disproved, unknown.

Question: does the koala want to see the gorilla?

Answer: unknown


Prompt:
A few players are playing a boardgame. The current state of the game is as follows:
- cobra pay money to mouse

The rules of the game are as follows:
0: If mouse raise a peace flag for meerkat, then meerkat does not know the defensive plans of koala
1: If cobra pay money to mouse, then mouse raise a peace flag for meerkat

Rule priorities (higher priority first):

Question: does the meerkat does not know the defensive plans of the koala?

Answer must be placed within [answer] tags, exactly one of: proved, disproved, unknown.

Question: does the meerkat does not know the defensive plans of the koala?

Answer: disproved


Prompt:
A few players are playing a boardgame. The current state of the game is as follows:
- husky want to see monkey
- husky does not burn the warehouse of eagle
- dachshund does not burn the warehouse of husky
- fish negotiate a deal with husky
- lobster owe money to starfish
- lizard does not hold the same number of points as puffin
- lizard knock down the fortress of dog
- wolverine negotiate a deal with lizard
- wolverine does not remove one of the pieces of swan

The rules of the game are as follows:
0: If husky attack the green fields whose owner is owl and vampire does not capture the king of owl, then owl capture the king of dragonfly
1: If any animal does not hold the same number of points as kangaroo and respect bat, then it attack the green fields whose owner is owl
2: If any animal want to see monkey and does not burn the warehouse of eagle, then it does not hold the same number of points as kangaroo
3: If dachshund does not burn the warehouse of husky and fish negotiate a deal with husky, then husky respect bat
4: If there exists an animal which owe money to starfish, then husky does not respect bat
5: If lizard hug vampire and wolverine proceed to the spot that is right after the spot of vampire, then vampire does not capture the king of owl
6: If any animal does not hold the same number of points as puffin and knock down the fortress of dog, then it hug vampire
7: If any animal negotiate a deal with lizard and does not remove one of the pieces of swan, then it proceed to the spot that is right after the spot of vampire
8: If any animal does not become pelikan, then it does not proceed to the spot that is right after the spot of vampire

Rule priorities (higher priority first):
> 3 has precedence over 4
> 8 has precedence over 7

Question: does the owl capture the king of the dragonfly?

Answer must be placed within [answer] tags, exactly one of: proved, disproved, unknown.

Question: does the owl capture the king of the dragonfly?

Answer: proved


Prompt:
A few players are playing a boardgame. The current state of the game is as follows:
- kudu capture the king of swordfish
- kudu acquire a photograph of goldfish

The rules of the game are as follows:
0: If there exists an animal which reveal a secret to salmon, then otter does not shout at starling
1: If any animal capture the king of swordfish and acquire a photograph of goldfish, then it reveal a secret to salmon

Rule priorities (higher priority first):

Question: does the otter does not shout at the starling?

Answer must be placed within [answer] tags, exactly one of: proved, disproved, unknown.

kudu capture the king of swordfish
kudu acquire a photograph of goldfish

Question: does the otter does not shout at the starling?

Answer: proved