The bear does not eat the mouse. The bear does not eat the squirrel. The bear is not rough. The bear is young. The bear likes the mouse. The bear does not visit the squirrel. The mouse is red. The mouse likes the bear. The mouse does not like the squirrel. The squirrel eats the bear. The squirrel is kind. The squirrel is red. The squirrel is rough. The squirrel likes the bear. The squirrel visits the mouse. If something visits the squirrel then it likes the mouse. All kind things are rough. If the squirrel is not red then the squirrel does not eat the mouse.
The squirrel is red.
@0: The bear does not eat the mouse.[(triple1)] The bear does not eat the squirrel.[(triple2)] The bear does not visit the squirrel.[(triple6)] The bear is not rough.[(triple3)] The bear is young.[(triple4)] The bear likes the mouse.[(triple5)] The mouse does not like the squirrel.[(triple9)] The mouse is red.[(triple7)] The mouse likes the bear.[(triple8)] The squirrel eats the bear.[(triple10)] The squirrel is kind.[(triple11)] The squirrel is red.[(triple12)] The squirrel is rough.[(triple13 OR ((triple11) -> rule2))] The squirrel likes the bear.[(triple14)] The squirrel visits the mouse.[(triple15)]