The bear does not visit the cow. The cow does not see the tiger. The rabbit visits the cow. The tiger is nice. If someone is nice then they visit the bear. If the tiger needs the bear and the tiger does not visit the rabbit then the tiger sees the cow. If the tiger visits the bear then the bear needs the rabbit. If someone sees the cow and they do not need the tiger then the cow is rough. If someone sees the tiger and they are not rough then they do not visit the cow. If someone is nice and they do not visit the bear then the bear sees the tiger.
The cow sees the cow.
@0: The bear does not visit the cow.[(triple1)] The cow does not see the tiger.[(triple2)] The rabbit visits the cow.[(triple3)] The tiger is nice.[(triple4)] @1: The tiger visits the bear.[(((triple4) -> rule1))] @2: The bear needs the rabbit.[(((((triple4) -> rule1)) -> rule3))]