The bear is cold. The bear is green. The bear is kind. The bear is rough. The bear does not like the dog. The bear sees the dog. The bear visits the dog. The dog is blue. The dog is cold. The dog is green. The dog is kind. The dog is rough. The dog likes the bear. The dog sees the bear. The dog visits the bear. If someone likes the bear and they are blue then they are kind.
The dog does not visit the dog.
@0: The bear does not like the dog.[(triple5)] The bear is cold.[(triple1)] The bear is green.[(triple2)] The bear is kind.[(triple3)] The bear is rough.[(triple4)] The bear sees the dog.[(triple6)] The bear visits the dog.[(triple7)] The dog is blue.[(triple8)] The dog is cold.[(triple9)] The dog is green.[(triple10)] The dog is kind.[(triple11 OR ((triple13 triple8) -> rule1))] The dog is rough.[(triple12)] The dog likes the bear.[(triple13)] The dog sees the bear.[(triple14)] The dog visits the bear.[(triple15)]