The cow likes the squirrel. The cow needs the tiger. The dog visits the cow. The squirrel does not like the cow. The squirrel likes the tiger. The tiger is big. The tiger is nice. The tiger likes the cow. The tiger needs the dog. The tiger visits the squirrel. If someone likes the tiger then they visit the dog. If the cow visits the squirrel then the cow is round. If someone is nice then they like the tiger. If someone needs the tiger and the tiger visits the dog then they like the dog. If someone is round and they like the dog then the dog visits the tiger. If the dog is round then the dog does not like the tiger. If the squirrel does not visit the tiger then the squirrel needs the dog. If someone visits the dog then the dog is young.
The tiger likes the tiger.
@0: The cow likes the squirrel.[(triple1)] The cow needs the tiger.[(triple2)] The dog visits the cow.[(triple3)] The squirrel does not like the cow.[(triple4)] The squirrel likes the tiger.[(triple5)] The tiger is big.[(triple6)] The tiger is nice.[(triple7)] The tiger likes the cow.[(triple8)] The tiger needs the dog.[(triple9)] The tiger visits the squirrel.[(triple10)] @1: The squirrel visits the dog.[(((triple5) -> rule1))] The tiger likes the tiger.[(((triple7) -> rule3))] @2: The dog is young.[(((((triple5) -> rule1)) -> rule8) OR ((((((triple7) -> rule3)) -> rule1)) -> rule8))] The tiger visits the dog.[(((((triple7) -> rule3)) -> rule1))] @3: The cow likes the dog.[(((triple2 ((((triple7) -> rule3)) -> rule1)) -> rule4))]