The cat chases the cow. The cow likes the cat. If the cat is round and the cat is not blue then the cat is not green. If someone is green and round then they like the cat. If someone likes the cow then they do not eat the cow. If the cow chases the cat then the cat likes the cow. If someone eats the cow and the cow is not green then they do not chase the cat. If someone eats the cat and they eat the cow then the cow chases the cat. If the cow eats the cat and the cow does not like the cat then the cow chases the cat. If someone chases the cow then the cow chases the cat.
The cat does not like the cow.
@0: The cat chases the cow.[(triple1)] The cow likes the cat.[(triple2)] @1: The cow chases the cat.[(((triple1) -> rule8))] @2: The cat likes the cow.[(((((triple1) -> rule8)) -> rule4))] @3: The cat does not eat the cow.[(((((((triple1) -> rule8)) -> rule4)) -> rule3))]