The bear chases the tiger. The bear is big. The bear is cold. The bear needs the cow. The cow chases the bear. The cow is big. The cow needs the bear. The cow needs the tiger. The cow sees the tiger. The tiger chases the bear. The tiger chases the cow. The tiger needs the bear. The tiger needs the cow. The tiger sees the bear. The tiger sees the cow. If someone sees the tiger then they see the cow.
The bear chases the cow.
@0: The bear chases the tiger.[(triple1)] The bear is big.[(triple2)] The bear is cold.[(triple3)] The bear needs the cow.[(triple4)] The cow chases the bear.[(triple5)] The cow is big.[(triple6)] The cow needs the bear.[(triple7)] The cow needs the tiger.[(triple8)] The cow sees the tiger.[(triple9)] The tiger chases the bear.[(triple10)] The tiger chases the cow.[(triple11)] The tiger needs the bear.[(triple12)] The tiger needs the cow.[(triple13)] The tiger sees the bear.[(triple14)] The tiger sees the cow.[(triple15)] @1: The cow sees the cow.[(((triple9) -> rule1))]