The bald eagle is red. The bald eagle visits the cow. The bald eagle visits the tiger. The cow is round. The cow sees the bald eagle. The cow visits the squirrel. The cow visits the tiger. The squirrel is green. The squirrel is red. The squirrel needs the tiger. The tiger is green. The tiger does not need the squirrel. If something needs the tiger and it sees the squirrel then it does not visit the squirrel.
The squirrel needs the tiger.
@0: The bald eagle is red.[(triple1)] The bald eagle visits the cow.[(triple2)] The bald eagle visits the tiger.[(triple3)] The cow is round.[(triple4)] The cow sees the bald eagle.[(triple5)] The cow visits the squirrel.[(triple6)] The cow visits the tiger.[(triple7)] The squirrel is green.[(triple8)] The squirrel is red.[(triple9)] The squirrel needs the tiger.[(triple10)] The tiger does not need the squirrel.[(triple12)] The tiger is green.[(triple11)]