The bear is green. The cow is big. The rabbit visits the bear. The tiger eats the rabbit. If someone eats the rabbit and the rabbit visits the bear then the bear needs the rabbit.
The rabbit needs the rabbit.
@0: The bear is green.[(triple1)] The cow is big.[(triple2)] The rabbit visits the bear.[(triple3)] The tiger eats the rabbit.[(triple4)] @1: The bear needs the rabbit.[(((triple4 triple3) -> rule1))]