The cat eats the squirrel. The cat is blue. The cat is rough. The cat sees the squirrel. The squirrel eats the cat. The squirrel is blue. The squirrel is not rough. The squirrel is round. The squirrel does not see the cat. The squirrel visits the cat. If someone visits the squirrel then they see the cat. If someone eats the cat and the cat visits the squirrel then the squirrel sees the cat.
The cat does not see the cat.
@0: The cat eats the squirrel.[(triple1)] The cat is blue.[(triple2)] The cat is rough.[(triple3)] The cat sees the squirrel.[(triple4)] The squirrel does not see the cat.[(triple9)] The squirrel eats the cat.[(triple5)] The squirrel is blue.[(triple6)] The squirrel is not rough.[(triple7)] The squirrel is round.[(triple8)] The squirrel visits the cat.[(triple10)]