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