The bear chases the squirrel. The bear is kind. The bear needs the squirrel. The mouse chases the rabbit. The mouse is green. The mouse is kind. The mouse is young. The mouse needs the bear. The rabbit chases the bear. The squirrel chases the mouse. The squirrel is green. The squirrel needs the bear. The squirrel needs the mouse. The squirrel visits the bear. The squirrel visits the mouse. If the mouse chases the squirrel then the mouse needs the bear. If the bear is big then the bear is blue. If something needs the rabbit then it needs the squirrel. If the squirrel needs the rabbit then the squirrel is big. If something is big and kind then it is young. If something is young and it needs the squirrel then the squirrel is kind. If something visits the bear then the bear is big. If something is kind and it visits the bear then the bear needs the squirrel.
The rabbit does not need the squirrel.
@0: The bear chases the squirrel.[(triple1)] The bear is kind.[(triple2)] The bear needs the squirrel.[(triple3)] The mouse chases the rabbit.[(triple4)] The mouse is green.[(triple5)] The mouse is kind.[(triple6)] The mouse is young.[(triple7)] The mouse needs the bear.[(triple8)] The rabbit chases the bear.[(triple9)] The squirrel chases the mouse.[(triple10)] The squirrel is green.[(triple11)] The squirrel needs the bear.[(triple12)] The squirrel needs the mouse.[(triple13)] The squirrel visits the bear.[(triple14)] The squirrel visits the mouse.[(triple15)] @1: The bear is big.[(((triple14) -> rule7))] @2: The bear is blue.[(((((triple14) -> rule7)) -> rule2))] The bear is young.[(((((triple14) -> rule7) triple2) -> rule5))] @3: The squirrel is kind.[(((((((triple14) -> rule7) triple2) -> rule5) triple3) -> rule6))]