The bear chases the dog. The bear is big. The bear is not blue. The bear is kind. The bear is not rough. The bear is round. The bear needs the dog. The bear sees the dog. The dog chases the bear. The dog is not big. The dog is blue. The dog is kind. The dog is rough. The dog is round. The dog sees the bear. If the bear is not big then the bear chases the dog. If something needs the dog and it needs the bear then the bear does not chase the dog. If something needs the dog and the dog needs the bear then it does not see the dog. If something needs the dog and it is not round then the dog needs the bear. If the bear needs the dog and the bear is not rough then the bear is kind. If something sees the dog and it does not chase the bear then it does not see the bear.
The bear is rough.
@0: The bear chases the dog.[(triple1)] The bear is big.[(triple2)] The bear is kind.[(triple4 OR ((triple7 triple5) -> rule5))] The bear is not blue.[(triple3)] The bear is not rough.[(triple5)] The bear is round.[(triple6)] The bear needs the dog.[(triple7)] The bear sees the dog.[(triple8)] The dog chases the bear.[(triple9)] The dog is blue.[(triple11)] The dog is kind.[(triple12)] The dog is not big.[(triple10)] The dog is rough.[(triple13)] The dog is round.[(triple14)] The dog sees the bear.[(triple15)]