The bear is not green. The squirrel visits the bear. If something visits the bear then it does not like the bear.
The squirrel does not visit the bear.
@0: The bear is not green.[(triple1)] The squirrel visits the bear.[(triple2)] @1: The squirrel does not like the bear.[(((triple2) -> rule1))]