The bear is red. The bear is rough. The bear needs the dog. The bear visits the dog. The dog is big. The dog is not blue. The dog is not kind. The dog is red. The dog is rough. The dog likes the bear. The dog needs the bear. The dog visits the bear. If something likes the bear and the bear does not need the dog then the dog needs the bear. If the dog visits the bear then the bear is rough. If the bear likes the dog and the bear is rough then the bear visits the dog. If something is rough then it is not blue. If something needs the dog and it needs the bear then the bear does not like the dog. If something needs the dog and the dog is kind then the dog likes the bear. If something is red then it needs the bear. If something likes the dog and it is not rough then the dog is big.
The dog does not like the dog.
@0: The bear is red.[(triple1)] The bear is rough.[(triple2 OR ((triple12) -> rule2))] The bear needs the dog.[(triple3)] The bear visits the dog.[(triple4)] The dog is big.[(triple5)] The dog is not blue.[(triple6 OR ((triple9) -> rule4))] The dog is not kind.[(triple7)] The dog is red.[(triple8)] The dog is rough.[(triple9)] The dog likes the bear.[(triple10)] The dog needs the bear.[(triple11 OR ((triple8) -> rule7))] The dog visits the bear.[(triple12)] @1: The bear is not blue.[(((triple2) -> rule4) OR ((((triple12) -> rule2)) -> rule4))] The bear needs the bear.[(((triple1) -> rule7))] @2: The bear does not like the dog.[(((triple3 ((triple1) -> rule7)) -> rule5))]