The bear chases the cow. The cat visits the bear. The cow does not need the rabbit. The rabbit needs the bear. If something needs the bear then it is rough. If something is rough then it needs the rabbit. If something visits the rabbit and the rabbit visits the bear then the bear needs the cow.
The cow is rough.
@0: The bear chases the cow.[(triple1)] The cat visits the bear.[(triple2)] The cow does not need the rabbit.[(triple3)] The rabbit needs the bear.[(triple4)] @1: The rabbit is rough.[(((triple4) -> rule1))] @2: The rabbit needs the rabbit.[(((((triple4) -> rule1)) -> rule2))]