The bear is not big. The bear needs the squirrel. The dog is nice. The dog sees the tiger. The squirrel sees the bear. The squirrel sees the tiger. The tiger eats the dog. The tiger is green. The tiger needs the bear. The tiger sees the squirrel. If someone eats the dog then the dog needs the bear. If someone eats the bear then they eat the tiger. If someone needs the tiger and they see the dog then they eat the tiger. If someone is nice and they need the bear then they eat the bear. If someone sees the dog then they eat the squirrel. If someone needs the tiger and the tiger eats the bear then they eat the squirrel. If someone eats the tiger then the tiger eats the bear.
The tiger sees the squirrel.
@0: The bear is not big.[(triple1)] The bear needs the squirrel.[(triple2)] The dog is nice.[(triple3)] The dog sees the tiger.[(triple4)] The squirrel sees the bear.[(triple5)] The squirrel sees the tiger.[(triple6)] The tiger eats the dog.[(triple7)] The tiger is green.[(triple8)] The tiger needs the bear.[(triple9)] The tiger sees the squirrel.[(triple10)] @1: The dog needs the bear.[(((triple7) -> rule1))] @2: The dog eats the bear.[(((triple3 ((triple7) -> rule1)) -> rule4))] @3: The dog eats the tiger.[(((((triple3 ((triple7) -> rule1)) -> rule4)) -> rule2))] @4: The tiger eats the bear.[(((((((triple3 ((triple7) -> rule1)) -> rule4)) -> rule2)) -> rule7))] @5: The tiger eats the tiger.[(((((((((triple3 ((triple7) -> rule1)) -> rule4)) -> rule2)) -> rule7)) -> rule2))]