The bear eats the cow. The bear is young. The cat chases the tiger. The cat eats the tiger. The cat is young. The cow eats the bear. The cow is cold. The cow needs the cat. The cow needs the tiger. The tiger is red. The tiger is young. The tiger needs the cow. If the bear chases the cat then the cat needs the tiger. If someone eats the tiger and they need the tiger then they eat the bear. If the cow is cold then the cow chases the tiger. If someone needs the bear then they are rough. If someone chases the cow and the cow eats the cat then the cat eats the bear. If someone eats the tiger then they eat the cat.
The bear chases the cow.
@0: The bear eats the cow.[(triple1)] The bear is young.[(triple2)] The cat chases the tiger.[(triple3)] The cat eats the tiger.[(triple4)] The cat is young.[(triple5)] The cow eats the bear.[(triple6)] The cow is cold.[(triple7)] The cow needs the cat.[(triple8)] The cow needs the tiger.[(triple9)] The tiger is red.[(triple10)] The tiger is young.[(triple11)] The tiger needs the cow.[(triple12)] @1: The cat eats the cat.[(((triple4) -> rule6))] The cow chases the tiger.[(((triple7) -> rule3))]