The cat chases the lion. The cat does not eat the lion. The cat eats the squirrel. The cat is big. The cat is blue. The cat is not rough. The cat is round. The cat visits the squirrel. The lion does not chase the squirrel. The lion eats the squirrel. The lion is rough. The lion visits the cat. The squirrel eats the lion. The squirrel is blue. The squirrel is round. The squirrel visits the lion. If something eats the lion and it eats the squirrel then it visits the cat.
The lion visits the cat.
@0: The cat chases the lion.[(triple1)] The cat does not eat the lion.[(triple2)] The cat eats the squirrel.[(triple3)] The cat is big.[(triple4)] The cat is blue.[(triple5)] The cat is not rough.[(triple6)] The cat is round.[(triple7)] The cat visits the squirrel.[(triple8)] The lion does not chase the squirrel.[(triple9)] The lion eats the squirrel.[(triple10)] The lion is rough.[(triple11)] The lion visits the cat.[(triple12)] The squirrel eats the lion.[(triple13)] The squirrel is blue.[(triple14)] The squirrel is round.[(triple15)] The squirrel visits the lion.[(triple16)]