The bear chases the squirrel. The bear is green. The mouse is round. The mouse sees the rabbit. The mouse sees the squirrel. The rabbit is cold. The rabbit needs the mouse. The squirrel is round. The squirrel sees the bear. The squirrel sees the rabbit. If someone chases the squirrel and the squirrel needs the rabbit then they chase the mouse. If someone chases the mouse and they need the squirrel then they chase the squirrel. If someone chases the squirrel then the squirrel needs the rabbit.
The rabbit does not chase the mouse.
@0: The bear chases the squirrel.[(triple1)] The bear is green.[(triple2)] The mouse is round.[(triple3)] The mouse sees the rabbit.[(triple4)] The mouse sees the squirrel.[(triple5)] The rabbit is cold.[(triple6)] The rabbit needs the mouse.[(triple7)] The squirrel is round.[(triple8)] The squirrel sees the bear.[(triple9)] The squirrel sees the rabbit.[(triple10)] @1: The squirrel needs the rabbit.[(((triple1) -> rule3))] @2: The bear chases the mouse.[(((triple1 ((triple1) -> rule3)) -> rule1))]