The bear eats the cat. The bear is nice. The bear likes the squirrel. The cat chases the cow. The cat chases the squirrel. The cat does not eat the bear. The cat likes the cow. The cow chases the cat. The cow eats the bear. The cow eats the cat. The cow is not kind. The cow is not round. The cow likes the squirrel. The squirrel does not chase the bear. The squirrel is kind. The squirrel is round. If the bear chases the cat and the bear does not like the cow then the cow chases the cat. If someone chases the cat and the cat is not kind then the cat does not eat the bear. If someone likes the bear then the bear chases the cow. If the cow chases the bear and the cow is round then the cow is cold. If someone chases the bear then they like the bear. If someone chases the squirrel then the squirrel chases the cow. If the squirrel does not eat the cat and the cat does not like the squirrel then the squirrel chases the bear. If someone is big and they eat the bear then they eat the squirrel.
The cat is kind.
@0: The bear eats the cat.[(triple1)] The bear is nice.[(triple2)] The bear likes the squirrel.[(triple3)] The cat chases the cow.[(triple4)] The cat chases the squirrel.[(triple5)] The cat does not eat the bear.[(triple6)] The cat likes the cow.[(triple7)] The cow chases the cat.[(triple8)] The cow eats the bear.[(triple9)] The cow eats the cat.[(triple10)] The cow is not kind.[(triple11)] The cow is not round.[(triple12)] The cow likes the squirrel.[(triple13)] The squirrel does not chase the bear.[(triple14)] The squirrel is kind.[(triple15)] The squirrel is round.[(triple16)] @1: The squirrel chases the cow.[(((triple5) -> rule6))]