The bald eagle is not big. The bald eagle is not kind. The bald eagle likes the squirrel. The bear is not kind. The bear likes the bald eagle. The cat is kind. The cat likes the bald eagle. The cat does not like the squirrel. The cat does not need the bear. The squirrel is not big. The squirrel is cold. The squirrel is green. The squirrel is rough. The squirrel likes the cat. The squirrel does not need the bear. If something likes the cat then it likes the squirrel. If the cat eats the bald eagle then the bald eagle likes the bear. If something needs the cat and the cat does not eat the bear then it is not big. If something eats the bald eagle then the bald eagle likes the cat. If something is rough then it eats the cat. If something eats the bear and it needs the squirrel then it likes the bald eagle. If something eats the bald eagle then it does not like the bear. If something is cold and it does not eat the squirrel then it needs the cat.
The bear does not like the squirrel.
@0: The bald eagle is not big.[(triple1)] The bald eagle is not kind.[(triple2)] The bald eagle likes the squirrel.[(triple3)] The bear is not kind.[(triple4)] The bear likes the bald eagle.[(triple5)] The cat does not like the squirrel.[(triple8)] The cat does not need the bear.[(triple9)] The cat is kind.[(triple6)] The cat likes the bald eagle.[(triple7)] The squirrel does not need the bear.[(triple15)] The squirrel is cold.[(triple11)] The squirrel is green.[(triple12)] The squirrel is not big.[(triple10)] The squirrel is rough.[(triple13)] The squirrel likes the cat.[(triple14)] @1: The squirrel eats the cat.[(((triple13) -> rule5))] The squirrel likes the squirrel.[(((triple14) -> rule1))]