The cow is green. The cow is nice. The cow is young. The dog is young. The dog likes the cow. The dog needs the cow. The dog visits the cow. If someone needs the dog and they like the cow then they visit the dog. If the cow is rough and the cow likes the dog then the dog likes the cow. If someone needs the cow and they like the cow then they like the dog.
The cow needs the dog.
@0: The cow is green.[(triple1)] The cow is nice.[(triple2)] The cow is young.[(triple3)] The dog is young.[(triple4)] The dog likes the cow.[(triple5)] The dog needs the cow.[(triple6)] The dog visits the cow.[(triple7)] @1: The dog likes the dog.[(((triple6 triple5) -> rule3))]