The lion does not chase the mouse. The lion chases the rabbit. The lion does not eat the mouse. The lion is rough. The lion is round. The mouse eats the squirrel. The mouse is round. The rabbit chases the squirrel. The rabbit is round. The squirrel eats the mouse. If the rabbit eats the squirrel then the squirrel is young. If someone is round then they chase the lion. If someone chases the lion then they eat the squirrel. All red people are not rough. If someone chases the mouse and they like the rabbit then they are not rough. If someone is young and they eat the lion then the lion chases the rabbit.
The mouse does not chase the lion.
@0: The lion chases the rabbit.[(triple2)] The lion does not chase the mouse.[(triple1)] The lion does not eat the mouse.[(triple3)] The lion is rough.[(triple4)] The lion is round.[(triple5)] The mouse eats the squirrel.[(triple6 OR ((((triple7) -> rule2)) -> rule3))] The mouse is round.[(triple7)] The rabbit chases the squirrel.[(triple8)] The rabbit is round.[(triple9)] The squirrel eats the mouse.[(triple10)] @1: The lion chases the lion.[(((triple5) -> rule2))] The mouse chases the lion.[(((triple7) -> rule2))] The rabbit chases the lion.[(((triple9) -> rule2))] @2: The lion eats the squirrel.[(((((triple5) -> rule2)) -> rule3))] The rabbit eats the squirrel.[(((((triple9) -> rule2)) -> rule3))] @3: The squirrel is young.[(((((((triple9) -> rule2)) -> rule3)) -> rule1))]