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