The cow is young. The dog is not green. If someone visits the dog then they are young. If the cow likes the dog then the dog is young. If someone is rough then they visit the dog. If the cow is young then the cow likes the dog. If someone likes the dog and the dog does not like the cow then the dog visits the cow. If someone likes the dog then the dog chases the cow. If someone chases the dog then the dog chases the cow. If the dog is kind and the dog is not young then the dog chases the cow.
The cow is not young.
@0: The cow is young.[(triple1)] The dog is not green.[(triple2)] @1: The cow likes the dog.[(((triple1) -> rule4))] @2: The dog chases the cow.[(((((triple1) -> rule4)) -> rule6))] The dog is young.[(((((triple1) -> rule4)) -> rule2))]