The bear is big. The bear visits the cat. The bear visits the tiger. The cat eats the bear. The cat eats the cow. The cat is kind. The cat visits the bear. The cow eats the tiger. The cow is rough. The tiger is kind. If the cow needs the tiger and the cow does not visit the cat then the cow visits the tiger. If something eats the tiger and the tiger needs the bear then the bear eats the cat. If something is rough then it needs the cat.
The cat eats the bear.
@0: The bear is big.[(triple1)] The bear visits the cat.[(triple2)] The bear visits the tiger.[(triple3)] The cat eats the bear.[(triple4)] The cat eats the cow.[(triple5)] The cat is kind.[(triple6)] The cat visits the bear.[(triple7)] The cow eats the tiger.[(triple8)] The cow is rough.[(triple9)] The tiger is kind.[(triple10)] @1: The cow needs the cat.[(((triple9) -> rule3))]