The bear chases the mouse. The bear eats the lion. The bear eats the squirrel. The bear needs the mouse. The lion eats the bear. The lion does not eat the squirrel. The lion is not big. The lion is rough. The lion does not need the mouse. The mouse is blue. The mouse is red. The mouse needs the lion. The squirrel chases the mouse. The squirrel is blue. The squirrel is red. If someone chases the bear then they need the bear. If the lion is rough then the lion chases the bear. If someone is blue and they chase the squirrel then they eat the mouse. If someone chases the mouse and they chase the lion then they do not eat the bear. If someone needs the bear then the bear is blue. If the bear does not need the lion then the bear does not eat the lion.
The mouse is not blue.
@0: The bear chases the mouse.[(triple1)] The bear eats the lion.[(triple2)] The bear eats the squirrel.[(triple3)] The bear needs the mouse.[(triple4)] The lion does not eat the squirrel.[(triple6)] The lion does not need the mouse.[(triple9)] The lion eats the bear.[(triple5)] The lion is not big.[(triple7)] The lion is rough.[(triple8)] The mouse is blue.[(triple10)] The mouse is red.[(triple11)] The mouse needs the lion.[(triple12)] The squirrel chases the mouse.[(triple13)] The squirrel is blue.[(triple14)] The squirrel is red.[(triple15)] @1: The lion chases the bear.[(((triple8) -> rule2))] @2: The lion needs the bear.[(((((triple8) -> rule2)) -> rule1))] @3: The bear is blue.[(((((((triple8) -> rule2)) -> rule1)) -> rule5))]