The cat chases the squirrel. The cow is round. The cow visits the cat. The cow visits the lion. The lion is not big. The squirrel chases the cat. The squirrel chases the cow. The squirrel chases the lion. The squirrel visits the cat. The squirrel does not visit the cow. If something chases the lion and it visits the lion then it does not chase the cow.
The squirrel does not visit the cat.
@0: The cat chases the squirrel.[(triple1)] The cow is round.[(triple2)] The cow visits the cat.[(triple3)] The cow visits the lion.[(triple4)] The lion is not big.[(triple5)] The squirrel chases the cat.[(triple6)] The squirrel chases the cow.[(triple7)] The squirrel chases the lion.[(triple8)] The squirrel does not visit the cow.[(triple10)] The squirrel visits the cat.[(triple9)]