The cow is kind. The cow is young. The cow likes the dog. The dog eats the squirrel. The dog is nice. The dog sees the squirrel. The squirrel eats the tiger. The squirrel is kind. The squirrel is young. The squirrel likes the cow. The squirrel likes the tiger. The squirrel sees the dog. The tiger eats the squirrel. The tiger is young. The tiger likes the cow. The tiger likes the squirrel. If something is nice then it sees the cow. If something sees the squirrel then the squirrel eats the tiger. If something likes the tiger and it is young then the tiger likes the dog. If something is young and it sees the cow then the cow sees the squirrel. If something is green then it eats the dog. If the dog sees the tiger then the dog sees the cow. If something is green and it eats the tiger then it sees the dog. If something likes the tiger and the tiger is cold then the tiger is young.
The dog does not eat the dog.
@0: The cow is kind.[(triple1)] The cow is young.[(triple2)] The cow likes the dog.[(triple3)] The dog eats the squirrel.[(triple4)] The dog is nice.[(triple5)] The dog sees the squirrel.[(triple6)] The squirrel eats the tiger.[(triple7 OR ((triple6) -> rule2))] The squirrel is kind.[(triple8)] The squirrel is young.[(triple9)] The squirrel likes the cow.[(triple10)] The squirrel likes the tiger.[(triple11)] The squirrel sees the dog.[(triple12)] The tiger eats the squirrel.[(triple13)] The tiger is young.[(triple14)] The tiger likes the cow.[(triple15)] The tiger likes the squirrel.[(triple16)] @1: The dog sees the cow.[(((triple5) -> rule1))] The tiger likes the dog.[(((triple11 triple9) -> rule3))]