The bear needs the rabbit. The bear visits the rabbit. The rabbit is kind. The rabbit needs the bear. The rabbit needs the squirrel. The rabbit sees the bear. The rabbit sees the squirrel. The squirrel sees the bear. The squirrel sees the rabbit. The squirrel visits the rabbit. If something visits the bear then the bear needs the rabbit.
The rabbit does not visit the bear.
@0: The bear needs the rabbit.[(triple1)] The bear visits the rabbit.[(triple2)] The rabbit is kind.[(triple3)] The rabbit needs the bear.[(triple4)] The rabbit needs the squirrel.[(triple5)] The rabbit sees the bear.[(triple6)] The rabbit sees the squirrel.[(triple7)] The squirrel sees the bear.[(triple8)] The squirrel sees the rabbit.[(triple9)] The squirrel visits the rabbit.[(triple10)]