The bear is big. The bear is nice. The bear is round. The bear is young. The bear likes the dog. The bear needs the dog. The bear sees the dog. The dog is big. The dog is nice. The dog is rough. The dog is round. The dog is young. The dog likes the bear. The dog needs the bear. The dog sees the bear. If someone likes the bear then the bear is young.
The dog is rough.
@0: The bear is big.[(triple1)] The bear is nice.[(triple2)] The bear is round.[(triple3)] The bear is young.[(triple4 OR ((triple13) -> rule1))] The bear likes the dog.[(triple5)] The bear needs the dog.[(triple6)] The bear sees the dog.[(triple7)] The dog is big.[(triple8)] The dog is nice.[(triple9)] The dog is rough.[(triple10)] The dog is round.[(triple11)] The dog is young.[(triple12)] The dog likes the bear.[(triple13)] The dog needs the bear.[(triple14)] The dog sees the bear.[(triple15)]