The bear is kind. The mouse chases the bear. The mouse chases the rabbit. The mouse visits the rabbit. The rabbit is blue. The rabbit needs the mouse. The squirrel chases the mouse. The squirrel chases the rabbit. The squirrel is blue. The squirrel is green. The squirrel is young. If the squirrel is young and the squirrel needs the rabbit then the squirrel visits the rabbit. If something is cold then it needs the squirrel. If something visits the mouse and the mouse needs the squirrel then it needs the rabbit. If something chases the bear then it is cold. If something visits the bear and the bear visits the squirrel then the squirrel visits the rabbit. If something needs the squirrel then the squirrel visits the mouse. If the mouse visits the bear and the mouse visits the squirrel then the squirrel visits the bear.
The bear needs the rabbit.
@0: The bear is kind.[(triple1)] The mouse chases the bear.[(triple2)] The mouse chases the rabbit.[(triple3)] The mouse visits the rabbit.[(triple4)] The rabbit is blue.[(triple5)] The rabbit needs the mouse.[(triple6)] The squirrel chases the mouse.[(triple7)] The squirrel chases the rabbit.[(triple8)] The squirrel is blue.[(triple9)] The squirrel is green.[(triple10)] The squirrel is young.[(triple11)] @1: The mouse is cold.[(((triple2) -> rule4))] @2: The mouse needs the squirrel.[(((((triple2) -> rule4)) -> rule2))] @3: The squirrel visits the mouse.[(((((((triple2) -> rule4)) -> rule2)) -> rule6))] @4: The squirrel needs the rabbit.[(((((((((triple2) -> rule4)) -> rule2)) -> rule6) ((((triple2) -> rule4)) -> rule2)) -> rule3))] @5: The squirrel visits the rabbit.[(((triple11 ((((((((triple2) -> rule4)) -> rule2)) -> rule6) ((((triple2) -> rule4)) -> rule2)) -> rule3)) -> rule1))]