The cow chases the lion. The dog is big. The dog visits the cow. The dog visits the lion. The lion visits the cow. The rabbit eats the dog. The rabbit is blue. If someone is big and they visit the lion then the lion eats the rabbit. If someone chases the dog and they eat the lion then the dog visits the rabbit. If someone is big and they visit the cow then they are red. If someone chases the rabbit and they visit the lion then the lion eats the cow. If someone visits the cow then they are kind. If someone visits the dog then they are blue. If someone visits the rabbit and they visit the dog then the rabbit chases the lion. If someone chases the lion then the lion is blue.
The rabbit is not blue.
@0: The cow chases the lion.[(triple1)] The dog is big.[(triple2)] The dog visits the cow.[(triple3)] The dog visits the lion.[(triple4)] The lion visits the cow.[(triple5)] The rabbit eats the dog.[(triple6)] The rabbit is blue.[(triple7)] @1: The dog is kind.[(((triple3) -> rule5))] The dog is red.[(((triple2 triple3) -> rule3))] The lion eats the rabbit.[(((triple2 triple4) -> rule1))] The lion is blue.[(((triple1) -> rule8))] The lion is kind.[(((triple5) -> rule5))]