The bear eats the squirrel. The bear is not cold. The bear is kind. The bear likes the cow. The bear likes the squirrel. The cat likes the bear. The cat needs the bear. The cow eats the bear. The cow does not eat the cat. The cow is not blue. The cow is not round. The cow likes the squirrel. The cow needs the bear. The squirrel is not kind. The squirrel does not like the bear. If something likes the squirrel and it does not like the bear then the bear is blue. If something needs the cat then it does not eat the cat. If the bear is kind and the bear is not cold then the bear eats the cat. If something needs the cow then the cow is blue. If something eats the squirrel and it does not like the bear then the bear eats the cow. If something is nice then it is not round.
The cow likes the squirrel.
@0: The bear eats the squirrel.[(triple1)] The bear is kind.[(triple3)] The bear is not cold.[(triple2)] The bear likes the cow.[(triple4)] The bear likes the squirrel.[(triple5)] The cat likes the bear.[(triple6)] The cat needs the bear.[(triple7)] The cow does not eat the cat.[(triple9)] The cow eats the bear.[(triple8)] The cow is not blue.[(triple10)] The cow is not round.[(triple11)] The cow likes the squirrel.[(triple12)] The cow needs the bear.[(triple13)] The squirrel does not like the bear.[(triple15)] The squirrel is not kind.[(triple14)] @1: The bear eats the cat.[(((triple3 triple2) -> rule3))]