The bear eats the cat. The bear eats the squirrel. The bear is red. The bear needs the squirrel. The bear needs the tiger. The bear visits the cat. The cat eats the tiger. The cat is blue. The cat visits the bear. The squirrel is blue. The squirrel is green. The squirrel visits the bear. The tiger is green. The tiger is round. The tiger needs the squirrel. If the cat eats the tiger then the tiger eats the bear. If someone needs the tiger then the tiger eats the cat.
The cat does not need the squirrel.
@0: The bear eats the cat.[(triple1)] The bear eats the squirrel.[(triple2)] The bear is red.[(triple3)] The bear needs the squirrel.[(triple4)] The bear needs the tiger.[(triple5)] The bear visits the cat.[(triple6)] The cat eats the tiger.[(triple7)] The cat is blue.[(triple8)] The cat visits the bear.[(triple9)] The squirrel is blue.[(triple10)] The squirrel is green.[(triple11)] The squirrel visits the bear.[(triple12)] The tiger is green.[(triple13)] The tiger is round.[(triple14)] The tiger needs the squirrel.[(triple15)] @1: The tiger eats the bear.[(((triple7) -> rule1))] The tiger eats the cat.[(((triple5) -> rule2))]