The cow eats the rabbit. The cow is kind. The dog is big. The dog is green. The dog is kind. The dog is red. The dog sees the cow. The dog sees the lion. The dog visits the cow. The dog visits the lion. The lion is green. The lion sees the cow. The rabbit eats the cow. The rabbit is cold. The rabbit sees the dog. If someone visits the rabbit then the rabbit is big. If someone visits the cow then the cow eats the dog. If someone visits the cow then they eat the cow. If someone is green and they eat the lion then they visit the cow. If someone visits the rabbit then the rabbit is red. If someone is cold and they visit the dog then the dog eats the rabbit. If someone is red and they see the rabbit then the rabbit visits the cow. If someone visits the rabbit and the rabbit is kind then they are green.
The cow does not eat the dog.
@0: The cow eats the rabbit.[(triple1)] The cow is kind.[(triple2)] The dog is big.[(triple3)] The dog is green.[(triple4)] The dog is kind.[(triple5)] The dog is red.[(triple6)] The dog sees the cow.[(triple7)] The dog sees the lion.[(triple8)] The dog visits the cow.[(triple9)] The dog visits the lion.[(triple10)] The lion is green.[(triple11)] The lion sees the cow.[(triple12)] The rabbit eats the cow.[(triple13)] The rabbit is cold.[(triple14)] The rabbit sees the dog.[(triple15)] @1: The cow eats the dog.[(((triple9) -> rule2))] The dog eats the cow.[(((triple9) -> rule3))]