The cow is young. The dog needs the rabbit. The rabbit needs the cow. If someone eats the rabbit and the rabbit needs the dog then the rabbit eats the dog. If the cow sees the dog then the cow is kind. If someone needs the rabbit then they see the dog. If someone is kind and big then they see the cow. If the dog eats the rabbit and the rabbit eats the dog then the dog needs the cow. If someone needs the cow then they need the dog. If someone sees the dog then they need the cow. If the cow sees the dog and the cow is kind then the dog eats the cow.
The dog needs the rabbit.
@0: The cow is young.[(triple1)] The dog needs the rabbit.[(triple2)] The rabbit needs the cow.[(triple3)] @1: The dog sees the dog.[(((triple2) -> rule3))] The rabbit needs the dog.[(((triple3) -> rule6))] @2: The dog needs the cow.[(((((triple2) -> rule3)) -> rule7))] @3: The dog needs the dog.[(((((((triple2) -> rule3)) -> rule7)) -> rule6))]