The mouse needs the squirrel. The rabbit eats the squirrel. The squirrel chases the rabbit. If someone eats the squirrel then they eat the rabbit. If someone is young then they eat the rabbit. If someone chases the rabbit then the rabbit eats the squirrel. If someone chases the mouse then the mouse does not chase the squirrel. If the rabbit does not chase the mouse then the rabbit needs the mouse. If the squirrel needs the mouse and the squirrel is not young then the mouse chases the rabbit. If someone eats the squirrel then the squirrel chases the mouse. If someone needs the squirrel and they are not cold then they need the mouse.
The squirrel is kind.
@0: The mouse needs the squirrel.[(triple1)] The rabbit eats the squirrel.[(triple2 OR ((triple3) -> rule3))] The squirrel chases the rabbit.[(triple3)] @1: The rabbit eats the rabbit.[(((triple2) -> rule1) OR ((((triple3) -> rule3)) -> rule1))] The squirrel chases the mouse.[(((triple2) -> rule7) OR ((((triple3) -> rule3)) -> rule7))] @2: The mouse does not chase the squirrel.[(((((triple2) -> rule7)) -> rule4) OR ((((((triple3) -> rule3)) -> rule7)) -> rule4))]