The bear is red. The bear is rough. The bear is young. The bear visits the rabbit. The lion chases the rabbit. The lion is young. The lion does not need the bear. The lion visits the bear. The lion visits the rabbit. The rabbit chases the lion. The rabbit is green. The rabbit is not young. The rabbit needs the bear. The rabbit needs the lion. The rabbit visits the lion. If something needs the bear and it is not green then the bear is young. If something is rough then it needs the rabbit.
The lion does not need the rabbit.
@0: The bear is red.[(triple1)] The bear is rough.[(triple2)] The bear is young.[(triple3)] The bear visits the rabbit.[(triple4)] The lion chases the rabbit.[(triple5)] The lion does not need the bear.[(triple7)] The lion is young.[(triple6)] The lion visits the bear.[(triple8)] The lion visits the rabbit.[(triple9)] The rabbit chases the lion.[(triple10)] The rabbit is green.[(triple11)] The rabbit is not young.[(triple12)] The rabbit needs the bear.[(triple13)] The rabbit needs the lion.[(triple14)] The rabbit visits the lion.[(triple15)] @1: The bear needs the rabbit.[(((triple2) -> rule2))]