The bear does not eat the tiger. The bear visits the cat. The cat eats the tiger. The tiger eats the bear. The tiger eats the cat. The tiger is blue. The tiger is red. If someone eats the bear then they visit the cat. If the tiger visits the cat then the cat eats the bear.
The bear does not need the cat.
@0: The bear does not eat the tiger.[(triple1)] The bear visits the cat.[(triple2)] The cat eats the tiger.[(triple3)] The tiger eats the bear.[(triple4)] The tiger eats the cat.[(triple5)] The tiger is blue.[(triple6)] The tiger is red.[(triple7)] @1: The tiger visits the cat.[(((triple4) -> rule1))] @2: The cat eats the bear.[(((((triple4) -> rule1)) -> rule2))] @3: The cat visits the cat.[(((((((triple4) -> rule1)) -> rule2)) -> rule1))]