The cow eats the dog. The cow is big. The cow is nice. The cow is red. The cow is rough. The cow is young. The cow likes the dog. The cow sees the dog. The dog eats the cow. The dog is big. The dog is nice. The dog is red. The dog is rough. The dog is young. The dog sees the cow. If something sees the dog then it eats the dog.
The dog likes the cow.
@0: The cow eats the dog.[(triple1 OR ((triple8) -> rule1))] The cow is big.[(triple2)] The cow is nice.[(triple3)] The cow is red.[(triple4)] The cow is rough.[(triple5)] The cow is young.[(triple6)] The cow likes the dog.[(triple7)] The cow sees the dog.[(triple8)] The dog eats the cow.[(triple9)] The dog is big.[(triple10)] The dog is nice.[(triple11)] The dog is red.[(triple12)] The dog is rough.[(triple13)] The dog is young.[(triple14)] The dog sees the cow.[(triple15)]