The bald eagle sees the bear. The bear does not visit the bald eagle. The mouse visits the tiger. The tiger is kind. If someone likes the mouse then they visit the tiger. If someone visits the bald eagle and they are not kind then the bald eagle likes the mouse. If someone is kind then they do not like the tiger.
The bear does not visit the tiger.
@0: The bald eagle sees the bear.[(triple1)] The bear does not visit the bald eagle.[(triple2)] The mouse visits the tiger.[(triple3)] The tiger is kind.[(triple4)] @1: The tiger does not like the tiger.[(((triple4) -> rule3))]