The bear is rough. The rabbit eats the tiger. The tiger visits the bear. If someone sees the bear then the bear is not green. If someone is rough then they see the bear. If the tiger eats the bear and the tiger visits the rabbit then the tiger does not visit the bear. If someone visits the tiger then they are rough. If someone sees the tiger then they do not visit the rabbit. If the tiger does not eat the rabbit then the rabbit eats the bear.
The rabbit is not rough.
@0: The bear is rough.[(triple1)] The rabbit eats the tiger.[(triple2)] The tiger visits the bear.[(triple3)] @1: The bear sees the bear.[(((triple1) -> rule2))] @2: The bear is not green.[(((((triple1) -> rule2)) -> rule1))]