The lion chases the squirrel. The mouse eats the squirrel. The squirrel is round. The tiger visits the squirrel. If the mouse chases the squirrel and the squirrel does not visit the mouse then the squirrel is not red. If someone chases the mouse then the mouse chases the tiger. If someone chases the lion and they visit the squirrel then the squirrel does not chase the tiger. If someone is round then they chase the lion. If someone eats the mouse then the mouse does not chase the squirrel. If someone visits the mouse and the mouse chases the lion then the mouse eats the squirrel. If someone eats the lion then they visit the tiger. If someone chases the lion then the lion is round.
The squirrel chases the lion.
@0: The lion chases the squirrel.[(triple1)] The mouse eats the squirrel.[(triple2)] The squirrel is round.[(triple3)] The tiger visits the squirrel.[(triple4)] @1: The squirrel chases the lion.[(((triple3) -> rule4))] @2: The lion is round.[(((((triple3) -> rule4)) -> rule8))] @3: The lion chases the lion.[(((((((triple3) -> rule4)) -> rule8)) -> rule4))]