The lion chases the tiger. The lion is round. The lion likes the mouse. The mouse chases the tiger. The squirrel chases the tiger. The squirrel likes the mouse. The tiger chases the squirrel. If someone chases the mouse and the mouse is rough then the mouse sees the squirrel. If someone chases the squirrel then they like the squirrel. If the mouse sees the tiger and the mouse does not like the lion then the tiger sees the squirrel. If someone is blue then they see the mouse. If the lion is rough then the lion does not like the squirrel. If someone likes the squirrel then they see the squirrel. All blue people are round. If the tiger likes the lion then the lion does not like the mouse.
The mouse does not chase the tiger.
@0: The lion chases the tiger.[(triple1)] The lion is round.[(triple2)] The lion likes the mouse.[(triple3)] The mouse chases the tiger.[(triple4)] The squirrel chases the tiger.[(triple5)] The squirrel likes the mouse.[(triple6)] The tiger chases the squirrel.[(triple7)] @1: The tiger likes the squirrel.[(((triple7) -> rule2))] @2: The tiger sees the squirrel.[(((((triple7) -> rule2)) -> rule6))]