The bear likes the squirrel. The bear needs the squirrel. The dog chases the squirrel. The dog is not red. The dog is young. The dog does not need the squirrel. The mouse chases the bear. The mouse chases the squirrel. The mouse is big. The mouse is not red. The mouse likes the squirrel. The squirrel does not chase the bear. The squirrel chases the mouse. The squirrel is red. The squirrel is young. If someone is rough and big then they need the squirrel. If someone likes the squirrel and the squirrel is big then they need the squirrel. If someone chases the mouse then they like the mouse. If someone chases the bear then the bear chases the dog. If someone likes the dog then they need the dog. If someone is rough and they do not like the bear then they like the squirrel. If the dog likes the squirrel then the dog needs the squirrel. If someone likes the squirrel then they do not need the mouse.
The mouse does not chase the bear.
@0: The bear likes the squirrel.[(triple1)] The bear needs the squirrel.[(triple2)] The dog chases the squirrel.[(triple3)] The dog does not need the squirrel.[(triple6)] The dog is not red.[(triple4)] The dog is young.[(triple5)] The mouse chases the bear.[(triple7)] The mouse chases the squirrel.[(triple8)] The mouse is big.[(triple9)] The mouse is not red.[(triple10)] The mouse likes the squirrel.[(triple11)] The squirrel chases the mouse.[(triple13)] The squirrel does not chase the bear.[(triple12)] The squirrel is red.[(triple14)] The squirrel is young.[(triple15)] @1: The bear chases the dog.[(((triple7) -> rule4))] The bear does not need the mouse.[(((triple1) -> rule8))] The mouse does not need the mouse.[(((triple11) -> rule8))] The squirrel likes the mouse.[(((triple13) -> rule3))]