The cat is red. The cat sees the dog. The cow eats the dog. The cow needs the cat. The cow sees the cat. The cow sees the dog. The dog needs the cow. If someone is young then they eat the cow. If the cow sees the cat then the cat needs the cow. If the cat needs the cow then the cow is young.
The cat needs the cow.
@0: The cat is red.[(triple1)] The cat sees the dog.[(triple2)] The cow eats the dog.[(triple3)] The cow needs the cat.[(triple4)] The cow sees the cat.[(triple5)] The cow sees the dog.[(triple6)] The dog needs the cow.[(triple7)] @1: The cat needs the cow.[(((triple5) -> rule2))] @2: The cow is young.[(((((triple5) -> rule2)) -> rule3))] @3: The cow eats the cow.[(((((((triple5) -> rule2)) -> rule3)) -> rule1))]