The cow is cold. The cow likes the dog. The dog likes the lion. The dog visits the lion. The lion likes the cow. The lion visits the cow. The rabbit likes the cow. The rabbit likes the lion. The rabbit sees the dog. The rabbit visits the dog. If someone is cold then they visit the dog. If someone is young and they see the dog then the dog likes the rabbit.
The cow does not like the dog.
@0: The cow is cold.[(triple1)] The cow likes the dog.[(triple2)] The dog likes the lion.[(triple3)] The dog visits the lion.[(triple4)] The lion likes the cow.[(triple5)] The lion visits the cow.[(triple6)] The rabbit likes the cow.[(triple7)] The rabbit likes the lion.[(triple8)] The rabbit sees the dog.[(triple9)] The rabbit visits the dog.[(triple10)] @1: The cow visits the dog.[(((triple1) -> rule1))]