The cow is cold. The cow is green. The cow is not young. The cow likes the dog. The cow needs the dog. The cow does not see the dog. The dog is not cold. The dog is young. The dog likes the cow. The dog sees the cow. If the cow is not round then the cow likes the dog. If the cow needs the dog then the dog needs the cow. If the dog is cold then the dog needs the cow.
The dog is cold.
@0: The cow does not see the dog.[(triple6)] The cow is cold.[(triple1)] The cow is green.[(triple2)] The cow is not young.[(triple3)] The cow likes the dog.[(triple4)] The cow needs the dog.[(triple5)] The dog is not cold.[(triple7)] The dog is young.[(triple8)] The dog likes the cow.[(triple9)] The dog sees the cow.[(triple10)] @1: The dog needs the cow.[(((triple5) -> rule2))]