The bear chases the cat. The bear eats the cat. The bear eats the tiger. The cat visits the bear. The tiger does not chase the cat. The tiger is red. The tiger does not visit the cat. If someone eats the cat then the cat eats the bear. If the tiger is nice then the tiger is red. If someone is nice then they chase the tiger. If someone eats the cat and they visit the cat then the cat is not nice. If someone chases the tiger and the tiger does not visit the cat then the tiger eats the cat. If someone visits the tiger and they visit the bear then the bear is big. If someone visits the bear and they do not chase the tiger then the tiger is rough. If the tiger is red and the tiger does not eat the cat then the cat does not eat the tiger.
The bear eats the tiger.
@0: The bear chases the cat.[(triple1)] The bear eats the cat.[(triple2)] The bear eats the tiger.[(triple3)] The cat visits the bear.[(triple4)] The tiger does not chase the cat.[(triple5)] The tiger does not visit the cat.[(triple7)] The tiger is red.[(triple6)] @1: The cat eats the bear.[(((triple2) -> rule1))]