The bear eats the squirrel. The bear is blue. The bear is green. The bear is young. The bear needs the cat. The bear needs the squirrel. The cat eats the bear. The cat is red. The squirrel chases the cat. The squirrel eats the bear. The squirrel is blue. The squirrel is green. The squirrel is red. The squirrel needs the bear. The squirrel needs the cat. If the squirrel chases the cat and the cat chases the squirrel then the cat eats the bear. If something needs the cat and it chases the bear then it needs the squirrel. Red things are green. If something needs the cat then it is blue. If the squirrel is kind then the squirrel eats the cat. If the cat needs the bear and the cat eats the bear then the cat is kind. If something eats the squirrel then it eats the cat. If something is red and kind then it eats the squirrel.
The squirrel chases the squirrel.
@0: The bear eats the squirrel.[(triple1)] The bear is blue.[(triple2 OR ((triple5) -> rule4))] The bear is green.[(triple3)] The bear is young.[(triple4)] The bear needs the cat.[(triple5)] The bear needs the squirrel.[(triple6)] The cat eats the bear.[(triple7)] The cat is red.[(triple8)] The squirrel chases the cat.[(triple9)] The squirrel eats the bear.[(triple10)] The squirrel is blue.[(triple11 OR ((triple15) -> rule4))] The squirrel is green.[(triple12 OR ((triple13) -> rule3))] The squirrel is red.[(triple13)] The squirrel needs the bear.[(triple14)] The squirrel needs the cat.[(triple15)] @1: The bear eats the cat.[(((triple1) -> rule7))] The cat is green.[(((triple8) -> rule3))]