The cat visits the squirrel. The cow eats the cat. The cow is blue. The cow is green. The cow is round. The cow likes the tiger. The squirrel is rough. The squirrel visits the tiger. The tiger likes the cat. The tiger likes the squirrel. If something visits the cow then the cow visits the tiger. If something eats the tiger and it likes the cow then the cow visits the tiger.
The cow does not visit the tiger.
@0: The cat visits the squirrel.[(triple1)] The cow eats the cat.[(triple2)] The cow is blue.[(triple3)] The cow is green.[(triple4)] The cow is round.[(triple5)] The cow likes the tiger.[(triple6)] The squirrel is rough.[(triple7)] The squirrel visits the tiger.[(triple8)] The tiger likes the cat.[(triple9)] The tiger likes the squirrel.[(triple10)]