The bear needs the tiger. The cow chases the tiger. The tiger is big. If something needs the tiger and it is big then it is rough. If something is big then it needs the bear. If the bear needs the cow then the bear chases the cow. If something chases the tiger then the tiger needs the cow. If the tiger is blue then the tiger chases the bear. If the tiger is rough then the tiger visits the cow. If something needs the cow and it is big then the cow is big. If something chases the bear then it visits the cow.
The tiger is big.
@0: The bear needs the tiger.[(triple1)] The cow chases the tiger.[(triple2)] The tiger is big.[(triple3)] @1: The tiger needs the bear.[(((triple3) -> rule2))] The tiger needs the cow.[(((triple2) -> rule4))] @2: The cow is big.[(((((triple2) -> rule4) triple3) -> rule7))] @3: The cow needs the bear.[(((((((triple2) -> rule4) triple3) -> rule7)) -> rule2))]