The cat is nice. The cat is round. The cat sees the lion. The cat sees the squirrel. The cat visits the lion. The cat visits the squirrel. The lion sees the squirrel. The squirrel chases the cat. The squirrel is nice. The squirrel sees the cat. The squirrel does not see the lion. The squirrel visits the lion. If the lion is nice and the lion sees the cat then the cat sees the squirrel. If the lion sees the squirrel and the lion sees the cat then the lion is kind.
The squirrel does not see the cat.
@0: The cat is nice.[(triple1)] The cat is round.[(triple2)] The cat sees the lion.[(triple3)] The cat sees the squirrel.[(triple4)] The cat visits the lion.[(triple5)] The cat visits the squirrel.[(triple6)] The lion sees the squirrel.[(triple7)] The squirrel chases the cat.[(triple8)] The squirrel does not see the lion.[(triple11)] The squirrel is nice.[(triple9)] The squirrel sees the cat.[(triple10)] The squirrel visits the lion.[(triple12)]