The cat chases the squirrel. The cat is blue. The cat is green. The cat is nice. The squirrel chases the cat. The squirrel chases the tiger. The squirrel is nice. The squirrel is young. The squirrel likes the cat. The squirrel likes the tiger. The squirrel visits the tiger. The tiger is blue. The tiger is young. The tiger likes the cat. The tiger visits the cat. The tiger visits the squirrel. If someone visits the tiger and they do not chase the squirrel then the tiger likes the cat. If someone visits the tiger and the tiger likes the cat then the cat does not like the squirrel. If someone likes the tiger and they are green then the tiger likes the squirrel.
The tiger visits the squirrel.
@0: The cat chases the squirrel.[(triple1)] The cat is blue.[(triple2)] The cat is green.[(triple3)] The cat is nice.[(triple4)] The squirrel chases the cat.[(triple5)] The squirrel chases the tiger.[(triple6)] The squirrel is nice.[(triple7)] The squirrel is young.[(triple8)] The squirrel likes the cat.[(triple9)] The squirrel likes the tiger.[(triple10)] The squirrel visits the tiger.[(triple11)] The tiger is blue.[(triple12)] The tiger is young.[(triple13)] The tiger likes the cat.[(triple14)] The tiger visits the cat.[(triple15)] The tiger visits the squirrel.[(triple16)] @1: The cat does not like the squirrel.[(((triple11 triple14) -> rule2))]