The cat is young. The cat likes the dog. The cat visits the squirrel. The cat does not visit the tiger. The dog eats the cat. The dog eats the tiger. The dog visits the tiger. The squirrel likes the dog. The squirrel does not visit the cat. The squirrel visits the tiger. The tiger is young. The tiger likes the squirrel. If something visits the tiger then the tiger does not like the cat. If something likes the cat then it is green. If the tiger visits the squirrel then the tiger does not eat the dog.
The tiger likes the squirrel.
@0: The cat does not visit the tiger.[(triple4)] The cat is young.[(triple1)] The cat likes the dog.[(triple2)] The cat visits the squirrel.[(triple3)] The dog eats the cat.[(triple5)] The dog eats the tiger.[(triple6)] The dog visits the tiger.[(triple7)] The squirrel does not visit the cat.[(triple9)] The squirrel likes the dog.[(triple8)] The squirrel visits the tiger.[(triple10)] The tiger is young.[(triple11)] The tiger likes the squirrel.[(triple12)] @1: The tiger does not like the cat.[(((triple10) -> rule1) OR ((triple7) -> rule1))]