The dog does not chase the mouse. The dog chases the squirrel. The lion chases the dog. The lion is round. The mouse is not big. The squirrel chases the mouse. The squirrel needs the dog. If something chases the mouse and the mouse chases the dog then it likes the lion. If something chases the mouse then it is kind. If something chases the dog then it is young. If the mouse needs the squirrel and the squirrel chases the lion then the lion does not like the mouse. If something chases the mouse and the mouse does not need the squirrel then the mouse is big. If the lion is young then the lion chases the mouse. If the squirrel is big then the squirrel needs the dog. If something needs the squirrel and the squirrel likes the lion then the squirrel likes the mouse.
The mouse is not big.
@0: The dog chases the squirrel.[(triple2)] The dog does not chase the mouse.[(triple1)] The lion chases the dog.[(triple3)] The lion is round.[(triple4)] The mouse is not big.[(triple5)] The squirrel chases the mouse.[(triple6)] The squirrel needs the dog.[(triple7)] @1: The lion is young.[(((triple3) -> rule3))] The squirrel is kind.[(((triple6) -> rule2))] @2: The lion chases the mouse.[(((((triple3) -> rule3)) -> rule6))] @3: The lion is kind.[(((((((triple3) -> rule3)) -> rule6)) -> rule2))]