The cow eats the dog. The cow is not rough. The dog likes the cow. If someone eats the cow and they chase the dog then the dog eats the cow. If someone chases the dog then they like the dog. If someone is green then they eat the cow. If someone likes the cow then the cow is green. If the dog is rough and the dog likes the cow then the cow does not eat the dog. If someone eats the dog and they eat the cow then they like the cow.
The cow is red.
@0: The cow eats the dog.[(triple1)] The cow is not rough.[(triple2)] The dog likes the cow.[(triple3)] @1: The cow is green.[(((triple3) -> rule4))] @2: The cow eats the cow.[(((((triple3) -> rule4)) -> rule3))] @3: The cow likes the cow.[(((triple1 ((((triple3) -> rule4)) -> rule3)) -> rule6))]