The cow is big. The cow is young. The cow likes the dog. The cow visits the dog. The dog does not chase the cow. The dog is not big. The dog is not cold. The dog is green. The dog is nice. The dog is young. The dog likes the cow. The dog visits the cow. If someone visits the cow then the cow is cold.
The cow likes the cow.
@0: The cow is big.[(triple1)] The cow is young.[(triple2)] The cow likes the dog.[(triple3)] The cow visits the dog.[(triple4)] The dog does not chase the cow.[(triple5)] The dog is green.[(triple8)] The dog is nice.[(triple9)] The dog is not big.[(triple6)] The dog is not cold.[(triple7)] The dog is young.[(triple10)] The dog likes the cow.[(triple11)] The dog visits the cow.[(triple12)] @1: The cow is cold.[(((triple12) -> rule1))]