The bear is big. The bear is green. The bear likes the dog. The bear likes the rabbit. The bear needs the dog. The bear needs the rabbit. The bear does not visit the dog. The bear does not visit the rabbit. The dog is big. The dog is young. The dog visits the bear. The rabbit is blue. The rabbit is green. The rabbit needs the bear. The rabbit visits the dog. If something likes the rabbit and it is green then the rabbit is big. If something is big then it likes the bear. If the dog likes the rabbit then the dog visits the bear.
The rabbit likes the dog.
@0: The bear does not visit the dog.[(triple7)] The bear does not visit the rabbit.[(triple8)] The bear is big.[(triple1)] The bear is green.[(triple2)] The bear likes the dog.[(triple3)] The bear likes the rabbit.[(triple4)] The bear needs the dog.[(triple5)] The bear needs the rabbit.[(triple6)] The dog is big.[(triple9)] The dog is young.[(triple10)] The dog visits the bear.[(triple11)] The rabbit is blue.[(triple12)] The rabbit is green.[(triple13)] The rabbit needs the bear.[(triple14)] The rabbit visits the dog.[(triple15)] @1: The bear likes the bear.[(((triple1) -> rule2))] The dog likes the bear.[(((triple9) -> rule2))] The rabbit is big.[(((triple4 triple2) -> rule1))] @2: The rabbit likes the bear.[(((((triple4 triple2) -> rule1)) -> rule2))]