The cow does not eat the tiger. The cow is round. The cow is not young. The cow likes the dog. The cow likes the tiger. The cow needs the tiger. The dog eats the tiger. The dog is rough. The tiger eats the cow. The tiger does not like the cow. The tiger does not like the dog. The tiger needs the dog. If someone eats the cow and they do not need the cow then they need the tiger. If someone likes the cow and they eat the tiger then they are big. If someone is green and they like the tiger then the tiger is not young. If someone eats the tiger then they like the tiger. If someone likes the tiger then they are green. If the dog needs the cow and the dog does not need the tiger then the dog does not eat the tiger.
The dog needs the dog.
@0: The cow does not eat the tiger.[(triple1)] The cow is not young.[(triple3)] The cow is round.[(triple2)] The cow likes the dog.[(triple4)] The cow likes the tiger.[(triple5)] The cow needs the tiger.[(triple6)] The dog eats the tiger.[(triple7)] The dog is rough.[(triple8)] The tiger does not like the cow.[(triple10)] The tiger does not like the dog.[(triple11)] The tiger eats the cow.[(triple9)] The tiger needs the dog.[(triple12)] @1: The cow is green.[(((triple5) -> rule5))] The dog likes the tiger.[(((triple7) -> rule4))] @2: The dog is green.[(((((triple7) -> rule4)) -> rule5))] The tiger is not young.[(((((triple5) -> rule5) triple5) -> rule3) OR ((((((triple7) -> rule4)) -> rule5) ((triple7) -> rule4)) -> rule3))]