The cow eats the dog. The cow is big. The cow is blue. The cow is kind. The cow is rough. The cow is not young. The cow likes the dog. The cow visits the dog. The dog eats the cow. The dog is big. The dog is blue. The dog is kind. The dog is not rough. The dog is young. The dog likes the cow. The dog visits the cow. If someone eats the dog then the dog likes the cow. If the dog likes the cow and the dog is not young then the cow likes the dog.
The dog is not kind.
@0: The cow eats the dog.[(triple1)] The cow is big.[(triple2)] The cow is blue.[(triple3)] The cow is kind.[(triple4)] The cow is not young.[(triple6)] The cow is rough.[(triple5)] The cow likes the dog.[(triple7)] The cow visits the dog.[(triple8)] The dog eats the cow.[(triple9)] The dog is big.[(triple10)] The dog is blue.[(triple11)] The dog is kind.[(triple12)] The dog is not rough.[(triple13)] The dog is young.[(triple14)] The dog likes the cow.[(triple15 OR ((triple1) -> rule1))] The dog visits the cow.[(triple16)]