The bear eats the dog. The bear is nice. The cow eats the bear. The cow is big. The cow is nice. The cow is red. The dog sees the bear. The tiger eats the bear. The tiger needs the bear. The tiger sees the dog. If the dog needs the bear and the bear is blue then the bear is cold. If something sees the bear then it eats the bear. If something needs the cow and it needs the bear then the bear sees the tiger.
The bear sees the tiger.
@0: The bear eats the dog.[(triple1)] The bear is nice.[(triple2)] The cow eats the bear.[(triple3)] The cow is big.[(triple4)] The cow is nice.[(triple5)] The cow is red.[(triple6)] The dog sees the bear.[(triple7)] The tiger eats the bear.[(triple8)] The tiger needs the bear.[(triple9)] The tiger sees the dog.[(triple10)] @1: The dog eats the bear.[(((triple7) -> rule2))]