The cow eats the dog. The cow eats the rabbit. The cow is kind. The cow needs the dog. The cow needs the rabbit. The cow visits the dog. The dog eats the rabbit. The dog does not need the cow. The dog visits the cow. The rabbit eats the cow. The rabbit is big. The rabbit is round. The rabbit needs the cow. The rabbit needs the dog. The rabbit visits the dog. If the rabbit is kind and the rabbit does not eat the cow then the cow eats the dog. If someone visits the dog then the dog needs the rabbit. If someone is big then they do not eat the rabbit. If someone eats the cow then they are big. If someone visits the cow then the cow visits the rabbit. If someone is green and they do not eat the cow then they do not visit the dog. If the rabbit needs the dog and the rabbit is not kind then the dog visits the rabbit. If someone eats the cow then they eat the dog.
The dog is green.
@0: The cow eats the dog.[(triple1)] The cow eats the rabbit.[(triple2)] The cow is kind.[(triple3)] The cow needs the dog.[(triple4)] The cow needs the rabbit.[(triple5)] The cow visits the dog.[(triple6)] The dog does not need the cow.[(triple8)] The dog eats the rabbit.[(triple7)] The dog visits the cow.[(triple9)] The rabbit eats the cow.[(triple10)] The rabbit is big.[(triple11 OR ((triple10) -> rule4))] The rabbit is round.[(triple12)] The rabbit needs the cow.[(triple13)] The rabbit needs the dog.[(triple14)] The rabbit visits the dog.[(triple15)] @1: The cow visits the rabbit.[(((triple9) -> rule5))] The dog needs the rabbit.[(((triple15) -> rule2) OR ((triple6) -> rule2))] The rabbit does not eat the rabbit.[(((triple11) -> rule3) OR ((((triple10) -> rule4)) -> rule3))] The rabbit eats the dog.[(((triple10) -> rule8))]