The bear is not big. The bear is rough. The bear is not round. The bear needs the dog. The bear sees the dog. The bear does not visit the dog. The dog is not big. The dog is cold. The dog is not round. The dog does not need the bear. The dog sees the bear. The dog visits the bear. If the bear does not see the dog and the dog is not kind then the bear needs the dog. If someone needs the dog and they are not cold then they are big. If someone visits the bear then the bear does not visit the dog.
The bear is cold.
@0: The bear does not visit the dog.[(triple6 OR ((triple12) -> rule3))] The bear is not big.[(triple1)] The bear is not round.[(triple3)] The bear is rough.[(triple2)] The bear needs the dog.[(triple4)] The bear sees the dog.[(triple5)] The dog does not need the bear.[(triple10)] The dog is cold.[(triple8)] The dog is not big.[(triple7)] The dog is not round.[(triple9)] The dog sees the bear.[(triple11)] The dog visits the bear.[(triple12)]