The cow needs the dog. The dog chases the rabbit. The rabbit is cold. If someone needs the cow then they visit the rabbit. If the rabbit chases the cow then the cow needs the dog. If someone visits the rabbit and the rabbit needs the dog then the dog needs the rabbit. If someone visits the cow and the cow visits the rabbit then they are green. If someone visits the rabbit then they are cold. If someone needs the dog then the dog is big.
The cow needs the dog.
@0: The cow needs the dog.[(triple1)] The dog chases the rabbit.[(triple2)] The rabbit is cold.[(triple3)] @1: The dog is big.[(((triple1) -> rule6))]