The bear is not rough. The bear likes the squirrel. The bear does not see the mouse. The bear sees the rabbit. The mouse likes the rabbit. The mouse does not see the bear. The rabbit is not blue. The rabbit is kind. The rabbit is not red. The rabbit likes the mouse. The rabbit likes the squirrel. The rabbit does not see the mouse. The rabbit does not visit the bear. The squirrel is rough. The squirrel likes the bear. If someone likes the bear then the bear likes the squirrel. If someone visits the bear then the bear likes the squirrel. If someone visits the mouse then the mouse is blue.
The mouse is not blue.
@0: The bear does not see the mouse.[(triple3)] The bear is not rough.[(triple1)] The bear likes the squirrel.[(triple2 OR ((triple15) -> rule1))] The bear sees the rabbit.[(triple4)] The mouse does not see the bear.[(triple6)] The mouse likes the rabbit.[(triple5)] The rabbit does not see the mouse.[(triple12)] The rabbit does not visit the bear.[(triple13)] The rabbit is kind.[(triple8)] The rabbit is not blue.[(triple7)] The rabbit is not red.[(triple9)] The rabbit likes the mouse.[(triple10)] The rabbit likes the squirrel.[(triple11)] The squirrel is rough.[(triple14)] The squirrel likes the bear.[(triple15)]