The bear chases the cat. The bear chases the lion. The bear eats the cat. The bear eats the lion. The bear is young. The bear does not visit the lion. The cat does not chase the lion. The cat eats the squirrel. The cat is kind. The lion chases the cat. The lion eats the squirrel. The lion visits the cat. The squirrel chases the bear. The squirrel does not eat the lion. The squirrel is not nice. The squirrel visits the lion. If someone visits the lion and they chase the lion then they eat the cat. If someone chases the cat and they do not chase the bear then they visit the bear. If someone visits the cat then they do not visit the bear.
The squirrel is nice.
@0: The bear chases the cat.[(triple1)] The bear chases the lion.[(triple2)] The bear does not visit the lion.[(triple6)] The bear eats the cat.[(triple3)] The bear eats the lion.[(triple4)] The bear is young.[(triple5)] The cat does not chase the lion.[(triple7)] The cat eats the squirrel.[(triple8)] The cat is kind.[(triple9)] The lion chases the cat.[(triple10)] The lion eats the squirrel.[(triple11)] The lion visits the cat.[(triple12)] The squirrel chases the bear.[(triple13)] The squirrel does not eat the lion.[(triple14)] The squirrel is not nice.[(triple15)] The squirrel visits the lion.[(triple16)] @1: The lion does not visit the bear.[(((triple12) -> rule3))]