The bear is green. The bear is young. The bear needs the squirrel. The cat needs the rabbit. The rabbit does not visit the cat. The squirrel sees the rabbit. The squirrel does not visit the cat. If the bear is green and the bear sees the cat then the cat visits the squirrel.
The cat visits the bear.
@0: The bear is green.[(triple1)] The bear is young.[(triple2)] The bear needs the squirrel.[(triple3)] The cat needs the rabbit.[(triple4)] The rabbit does not visit the cat.[(triple5)] The squirrel does not visit the cat.[(triple7)] The squirrel sees the rabbit.[(triple6)]