The bear chases the rabbit. The bear is not green. The bear is rough. The bear needs the rabbit. The bear does not visit the rabbit. The rabbit chases the bear. The rabbit is green. The rabbit is not red. The rabbit needs the bear. The rabbit visits the bear. If something visits the bear and it chases the bear then it does not visit the rabbit. If something is nice and it visits the rabbit then it chases the rabbit.
The rabbit does not chase the rabbit.
@0: The bear chases the rabbit.[(triple1)] The bear does not visit the rabbit.[(triple5)] The bear is not green.[(triple2)] The bear is rough.[(triple3)] The bear needs the rabbit.[(triple4)] The rabbit chases the bear.[(triple6)] The rabbit is green.[(triple7)] The rabbit is not red.[(triple8)] The rabbit needs the bear.[(triple9)] The rabbit visits the bear.[(triple10)] @1: The rabbit does not visit the rabbit.[(((triple10 triple6) -> rule1))]