The bear chases the mouse. The bear chases the squirrel. The bear eats the mouse. The bear eats the squirrel. The bear is red. The bear likes the mouse. The bear likes the squirrel. The mouse is blue. The mouse is kind. The mouse likes the bear. The mouse likes the squirrel. The squirrel chases the bear. The squirrel chases the mouse. The squirrel eats the bear. The squirrel is blue. The squirrel likes the bear. If someone eats the mouse and the mouse is red then they are blue. If the mouse eats the bear then the bear chases the mouse. If someone chases the squirrel then the squirrel chases the mouse.
The bear is not blue.
@0: The bear chases the mouse.[(triple1)] The bear chases the squirrel.[(triple2)] The bear eats the mouse.[(triple3)] The bear eats the squirrel.[(triple4)] The bear is red.[(triple5)] The bear likes the mouse.[(triple6)] The bear likes the squirrel.[(triple7)] The mouse is blue.[(triple8)] The mouse is kind.[(triple9)] The mouse likes the bear.[(triple10)] The mouse likes the squirrel.[(triple11)] The squirrel chases the bear.[(triple12)] The squirrel chases the mouse.[(triple13 OR ((triple2) -> rule3))] The squirrel eats the bear.[(triple14)] The squirrel is blue.[(triple15)] The squirrel likes the bear.[(triple16)]