The bear does not chase the dog. The bear is big. The bear is kind. The bear is red. The bear is rough. The bear is round. The bear does not like the dog. The bear does not visit the dog. The dog chases the bear. The dog is big. The dog is not kind. The dog is red. The dog is rough. The dog is not round. The dog likes the bear. The dog visits the bear. If someone is rough and they visit the bear then the bear does not like the dog. If someone chases the bear and they do not visit the bear then they do not like the bear.
The dog likes the dog.
@0: The bear does not chase the dog.[(triple1)] The bear does not like the dog.[(triple7 OR ((triple13 triple16) -> rule1))] The bear does not visit the dog.[(triple8)] The bear is big.[(triple2)] The bear is kind.[(triple3)] The bear is red.[(triple4)] The bear is rough.[(triple5)] The bear is round.[(triple6)] The dog chases the bear.[(triple9)] The dog is big.[(triple10)] The dog is not kind.[(triple11)] The dog is not round.[(triple14)] The dog is red.[(triple12)] The dog is rough.[(triple13)] The dog likes the bear.[(triple15)] The dog visits the bear.[(triple16)]