The bear needs the mouse. The bear needs the squirrel. The bear sees the cow. The cow is big. The mouse chases the bear. The mouse chases the cow. The mouse chases the squirrel. The mouse is red. The mouse needs the squirrel. The mouse sees the bear. The squirrel chases the bear. The squirrel needs the mouse. If something sees the cow then it is young. If something needs the squirrel and the squirrel needs the bear then the squirrel sees the cow. If something needs the mouse and it is blue then the mouse chases the bear. If something chases the squirrel and it needs the bear then the bear is red. If something is red then it needs the bear. If something chases the cow then it sees the squirrel.
The squirrel is not young.
@0: The bear needs the mouse.[(triple1)] The bear needs the squirrel.[(triple2)] The bear sees the cow.[(triple3)] The cow is big.[(triple4)] The mouse chases the bear.[(triple5)] The mouse chases the cow.[(triple6)] The mouse chases the squirrel.[(triple7)] The mouse is red.[(triple8)] The mouse needs the squirrel.[(triple9)] The mouse sees the bear.[(triple10)] The squirrel chases the bear.[(triple11)] The squirrel needs the mouse.[(triple12)] @1: The bear is young.[(((triple3) -> rule1))] The mouse needs the bear.[(((triple8) -> rule5))] The mouse sees the squirrel.[(((triple6) -> rule6))] @2: The bear is red.[(((triple7 ((triple8) -> rule5)) -> rule4))] @3: The bear needs the bear.[(((((triple7 ((triple8) -> rule5)) -> rule4)) -> rule5))]