The cow is rough. The rabbit eats the cow. If something visits the cow then the cow is young. If something chases the cow and it does not chase the rabbit then it eats the cow. If something eats the rabbit then it does not eat the cow. If the rabbit eats the cow then the cow is red. If something chases the cow and it is not round then the cow is red. If something eats the cow and the cow visits the rabbit then it does not visit the rabbit.
The cow does not eat the cow.
@0: The cow is rough.[(triple1)] The rabbit eats the cow.[(triple2)] @1: The cow is red.[(((triple2) -> rule4))]