The bear eats the mouse. The bear needs the dog. The bear needs the mouse. The bear does not visit the dog. The dog needs the bear. The dog needs the mouse. The dog visits the bear. The dog visits the mouse. The lion eats the dog. The lion is not round. The lion needs the bear. The lion visits the mouse. The mouse is cold. The mouse is rough. The mouse does not visit the dog. The mouse visits the lion. If someone visits the lion then they need the lion. If someone is cold and round then they visit the dog. If someone visits the lion then the lion does not visit the dog. If someone eats the lion then they are cold. If someone visits the mouse and they eat the dog then they are not round. If someone visits the dog and the dog is not cold then they are green.
The bear is kind.
@0: The bear does not visit the dog.[(triple4)] The bear eats the mouse.[(triple1)] The bear needs the dog.[(triple2)] The bear needs the mouse.[(triple3)] The dog needs the bear.[(triple5)] The dog needs the mouse.[(triple6)] The dog visits the bear.[(triple7)] The dog visits the mouse.[(triple8)] The lion eats the dog.[(triple9)] The lion is not round.[(triple10 OR ((triple12 triple9) -> rule5))] The lion needs the bear.[(triple11)] The lion visits the mouse.[(triple12)] The mouse does not visit the dog.[(triple15)] The mouse is cold.[(triple13)] The mouse is rough.[(triple14)] The mouse visits the lion.[(triple16)] @1: The lion does not visit the dog.[(((triple16) -> rule3))] The mouse needs the lion.[(((triple16) -> rule1))]