The bear chases the rabbit. The bear is blue. The bear is cold. The bear is kind. The bear is nice. The bear is not rough. The bear likes the rabbit. The bear needs the rabbit. The rabbit chases the bear. The rabbit is blue. The rabbit is cold. The rabbit is kind. The rabbit is not nice. The rabbit is not rough. The rabbit likes the bear. The rabbit needs the bear. If something likes the rabbit then it needs the bear.
The bear does not need the bear.
@0: The bear chases the rabbit.[(triple1)] The bear is blue.[(triple2)] The bear is cold.[(triple3)] The bear is kind.[(triple4)] The bear is nice.[(triple5)] The bear is not rough.[(triple6)] The bear likes the rabbit.[(triple7)] The bear needs the rabbit.[(triple8)] The rabbit chases the bear.[(triple9)] The rabbit is blue.[(triple10)] The rabbit is cold.[(triple11)] The rabbit is kind.[(triple12)] The rabbit is not nice.[(triple13)] The rabbit is not rough.[(triple14)] The rabbit likes the bear.[(triple15)] The rabbit needs the bear.[(triple16)] @1: The bear needs the bear.[(((triple7) -> rule1))]