The bear is big. The bear is blue. The bear is kind. The bear is red. The bear is young. The bear needs the dog. The bear sees the dog. The bear visits the dog. The dog is big. The dog is blue. The dog is kind. The dog is young. The dog needs the bear. The dog sees the bear. The dog visits the bear. If something visits the bear and the bear is blue then the bear is young. If the bear needs the dog then the dog needs the bear.
The dog does not visit the bear.
@0: The bear is big.[(triple1)] The bear is blue.[(triple2)] The bear is kind.[(triple3)] The bear is red.[(triple4)] The bear is young.[(triple5 OR ((triple15 triple2) -> rule1))] The bear needs the dog.[(triple6)] The bear sees the dog.[(triple7)] The bear visits the dog.[(triple8)] The dog is big.[(triple9)] The dog is blue.[(triple10)] The dog is kind.[(triple11)] The dog is young.[(triple12)] The dog needs the bear.[(triple13 OR ((triple6) -> rule2))] The dog sees the bear.[(triple14)] The dog visits the bear.[(triple15)]