The cat does not eat the dog. The cat is round. The cat does not like the cow. The cat does not like the dog. The cow chases the cat. The cow does not chase the dog. The cow eats the cat. The cow eats the dog. The cow is green. The cow is round. The dog chases the cow. The dog eats the cow. The dog is big. The dog is not round. The dog is young. If someone eats the cow and the cow does not like the cat then the cat does not chase the dog. If someone is kind and they do not eat the cow then the cow eats the dog. If someone is big then they like the cow.
The dog does not chase the cow.
@0: The cat does not eat the dog.[(triple1)] The cat does not like the cow.[(triple3)] The cat does not like the dog.[(triple4)] The cat is round.[(triple2)] The cow chases the cat.[(triple5)] The cow does not chase the dog.[(triple6)] The cow eats the cat.[(triple7)] The cow eats the dog.[(triple8)] The cow is green.[(triple9)] The cow is round.[(triple10)] The dog chases the cow.[(triple11)] The dog eats the cow.[(triple12)] The dog is big.[(triple13)] The dog is not round.[(triple14)] The dog is young.[(triple15)] @1: The dog likes the cow.[(((triple13) -> rule3))]